交叉树: 一种用于安全协议分析的数据结构

编号 zgly0000443071

文献类型 期刊论文

文献题名 交叉树: 一种用于安全协议分析的数据结构

作者 骆盈盈 

作者单位 长沙理工大学计算机学院 

母体文献 微计算机应用 

年卷期 2006,27(6)

页码 660-662

年份 2006 

分类号 TP393.08 

关键词 安全协议  协议表示法  交叉树  交叉森林  形式方法 

文摘内容 提出用一种特殊的数据结构交叉树来描述安全协议中的消息。交叉树有一些交叉结点, 拥有交叉结点的几棵交叉树形成交叉森林。一棵交叉树唯一对应于一个消息, 一个交叉森林表示那些在协议执行过程中采用相同机制发送或接收的消息。一个或几个消息中相同的原子消息在交叉树或交叉森林中用交叉结点来表示, 这样易于保证原子消息的一致性, 以及公钥和它所有者之间的一致性。另外, 交叉树还可用于为消息模板建立可接受消息, 这时于建立在模型检验基础上的安全协议分析是非常必要的。