一种应用层安全通信协议的形式描述和验证 |
| |
引用本文: | 谭凯军,诸鸿文.一种应用层安全通信协议的形式描述和验证[J].计算机工程与应用,1998,34(2):25-27. |
| |
作者姓名: | 谭凯军 诸鸿文 |
| |
作者单位: | 上海交通大学电子工程系 |
| |
摘 要: | 安全通信是一个日益重要的问题。本文作者在[1]中在应用层设计了一个安全通信控制设备(SCCM),来实现安全通信。本文用ASN.1对此安全通信协议的协议数据元进行描述,然后根据协议状态转移图、应用可达性分析技术来验证协议的完整性、无死锁、无活锁、终止性等重要性质。
|
关 键 词: | 协议数据元 状态转移 协议验证 |
本文献已被 CNKI 维普 等数据库收录! |
|