首页> 外文OA文献 >Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System

【2h】

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System

机译：容忍组通信系统的组成员协议的正式规范和验证

页面导航

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

著录项

作者
HariGovind V. Ramasamy; Michel Cukier; William H. Sanders; William H. S;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Verification of an Intrusion-Tolerant Group Membership Protocol [J] . HariGovind V. RAMASAMY, Michel CUKIER, William H. SANDERS IEICE Transactions on Information and Systems . 2003,第12期

机译：容忍组成员身份协议的形式验证
2. Formal specifications and verification of a secure communication protocol model [J] . Yang Xia, Yuliang Lu, Fan Jiang Systems Engineering and Electronics, Journal of . 2003,第2期

机译：正式规范和安全通信协议模型的验证
3. Formal Specifications and Verification of a Secure Communication Protocol Model [J] . 夏阳, 陆余良, 蒋凡系统工程与电子技术（英文版） . 2003,第002期

机译：安全通信协议模型的正式规范和验证
4. Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system [C] . Ramasamy, H.V., Cukier, . 2002

机译：容忍组通信系统的组成员协议的正式规范和验证
5. On the formal verification of an intrusion-tolerant group communication protocol. [D] . Layouni, Mohamed. 2003

机译：关于形式上的入侵容忍团体通信协议的验证。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol [O] . Layouni Mohamed, Hooman Jozef, Tahar Sofiène 2007

机译：入侵防护区协议的正式规范和验证
8. Formal Methods for Communication Protocol Specification and Verification [R] . Sunshine, C. A. 1979

机译：通信协议规范和验证的形式化方法

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System

著录项

引文网络

相似文献

相关主题

期刊订阅