-
题名交叉树:一种用于安全协议分析的数据结构
- 1
-
-
作者
骆盈盈
-
机构
长沙理工大学计算机学院
-
出处
《微计算机应用》
2006年第6期660-662,共3页
-
文摘
提出用一种特殊的数据结构交叉树来描述安全协议中的消息。交叉树有一些交叉结点,拥有交叉结点的几棵交叉树形成交叉森林。一棵交叉树唯一对应于一个消息,一个交叉森林表示那些在协议执行过程中采用相同机制发送或接收的消息。一个或几个消息中相同的原子消息在交叉树或交叉森林中用交叉结点来表示,这样易于保证原子消息的一致性,以及公钥和它所有者之间的一致性。另外,交叉树还可用于为消息模板建立可接受消息,这对于建立在模型检验基础上的安全协议分析是非常必要的。
-
关键词
安全协议
协议表示法
交叉树
交叉森林
形式方法
-
Keywords
security protocols,protocol representation,cross-tree
cross-froest,formal methods
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
