首页> 外文OA文献 >Modelling and verifying key-exchange protocols using CSP and FDR

【2h】

Modelling and verifying key-exchange protocols using CSP and FDR

机译：使用CSP和FDR建模和验证密钥交换协议

页面导航

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

著录项

作者
A. W. Roscoe;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On Automated Analysis of Password-based Authentication Protocols: CSP/FDR model checking and AVISPA [J] . ABDELILAH TABET, SEONGHAN SHIN, KAZUKUNI KOBARA, WSEAS Transactions on Information Science and Applications . 2006,第2期

机译：基于密码的身份验证协议的自动分析：CSP / FDR模型检查和AVISPA
2. Verifying authentication protocols in CSP [J] . Schneider S. IEEE Transactions on Software Engineering . 1998,第9期

机译：在CSP中验证身份验证协议
3. Verifying authentication protocols in CSP [J] . Schneider S. IEEE Transactions on Software Engineering . 1998,第9期

机译：在CSP中验证身份验证协议
4. Modelling and verifying key-exchange protocols using CSP and FDR [C] . Roscoe, A.W. . 1995

机译：使用CSP和FDR建模和验证密钥交换协议
5. Modeling and verification techniques for ad hoc network protocols . [D] . Singh, Anu. 2009

机译：Ad hoc网络协议的建模与验证技术。
6. Protocol for Cilostazol Stroke Prevention Study for Antiplatelet Combination (CSPS.com): a randomized open-label parallel-group trial [O] . Kazunori Toyoda, Shinichiro Uchiyama, Haruhiko Hoshino, -1

机译：西洛他唑中风预防联合用药预防方案的协议（CSPS.com）：随机开放标签平行组试验
7. Verifying End-to-End Protocols Using Induction with CSP/FDR [O] . S.J. Creese, Joy Reed 1999

机译：使用归纳和CSP / FDR验证端到端协议
8. Compositional Verification of a Network of CSP Processes: Using FDR2 to Verify Refinement in the Event of Interface Difference. [R] . Burton, J. 2002

机译：Csp过程网络的组合验证：使用FDR2验证接口差异事件中的细化。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号