|
|||||
|
|
| 谓词/转移网系统及其在密钥分配协议中的应用 | |
| 引用本文： | 梁冰,王全来.谓词/转移网系统及其在密钥分配协议中的应用[J].郑州轻工业学院学报(自然科学版),1999,14(1):10-13. |
| 作者姓名： | 梁冰 王全来 |
| 作者单位： | 中国人民解放军信息工程学院电子工程系 |
| 摘 要： | 采用谓词／转移网对密钥分配协议的安全性进行建模和分析，从而建立了协议的实体模型和闯入者模型．进一步分析表明，该模型中闯入者可利用旧的会话密钥，经过若干步骤可获得新的会话密钥，从而发现了该协议的漏洞．在实际协议中，还应考虑协议的可恢复性． |
| 关 键 词： | 通信系统 通信网 协议 密钥 Petri网 闯入者 谓词／转移网 形式化模型 |
Pr/TN NET SYSTEM AND ITS APPLICATION OF THE KEYS DISTRIBUTION PROTOCOL SYSTEM |
|
| Abstract: | |
| Keywords: | telecommunication systems telecommunication networks protocol key Petri networks intruder predicate/transition networks formal models |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |