首页> 外文OA文献 >A Petri Net Model of Handshake Protocols

【2h】

A Petri Net Model of Handshake Protocols

机译：握手协议的Petri网模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fossati Luca; Varacca Daniele;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter [J] . Suzuki I., Lu H. IEEE Transactions on Computers . 1989,第5期

机译：时间Petri网及其在握手菊花链仲裁器建模与分析中的应用。
2. Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets [J] . Yang Xu, Xiaoyao Xie, Huanguo Zhang Journal of software . 2011,第7期

机译：使用彩色Petri网的电子商务协议建模与分析
3. Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets [J] . Yang Xu, Xiaoyao Xie, Huanguo Zhang Journal of Computers . 2011,第7期

机译：使用彩色Petri网的电子商务协议建模与分析
4. Modeling Handover Latency in PMIPv6-based Protocols with Timed Petri Nets [C] . Nivia Cruz Quental International Conference on Networks . 2017

机译：用定时培养网的基于PMIPv6的协议的切换延迟
5. Specification and analysis of Internet cryptographic protocols using a Petri net modeler. [D] . Shao, Yifeng. 1999

机译：使用Petri网络建模器对Internet加密协议进行规范和分析。
6. Network Allocation Vector (NAV) Optimization for Underwater Handshaking-Based Protocols [O] . Junho Cho, Ethungshan Shitiri, Ho-Shin Cho 2017

机译：基于水下握手协议的网络分配矢量（NAV）优化
7. Modeling and analysis of security protocols using role based specifications and Petri nets [O] . Bouroulet, Roland, Devillers, Raymond, Klaudel, Hanna, 2008

机译：使用基于角色的规范和Petri网对安全协议进行建模和分析

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号