|
|
|
Welcome to my blog!
| Re:串空间逻辑 |
|
J. D. Guttman 和 F. J. Thayer Fabrega等基于消息代数理论，提出新一代安全协议分析方法——串空间理论[114,115,116,117,118,119,120]，结合了NRL协议分析器、CSP模型检测技术以及Paulson的归纳证明的思想。串空间逻辑简洁易用，而且该方法基于图论，使得分析者可以方便的使用图结构描述协议、攻击、正确性定理和证明中的一些关键步骤。串空间理论使用”串”的概念描述协议的参与方发送消息和接收消息的行为，不同协议参与方的串组成串空间，表示协议的运行，串空间运行于代数结构上。消息代数定义了串空间的数据结构，以及数据项之间的关系。串空间技术给安全协议的形式化分析注入了新的活力。 |
| [ 个人主页 | 引用 | 返回 | 删除 | 回复 ] |
Post by liuyichun发表评论于2006-11-20 16:40:56
| 发表评论：
|
| |
