微计算机应用
微計算機應用
미계산궤응용
MICROCOMPUTER APPLICATIONS
2006年
6期
660-662
,共3页
安全协议%协议表示法%交叉树%交叉森林%形式方法
安全協議%協議錶示法%交扠樹%交扠森林%形式方法
안전협의%협의표시법%교차수%교차삼림%형식방법
提出用一种特殊的数据结构交叉树来描述安全协议中的消息.交叉树有一些交叉结点,拥有交叉结点的几棵交叉树形成交叉森林.一棵交叉树唯一对应于一个消息,一个交叉森林表示那些在协议执行过程中采用相同机制发送或接收的消息.一个或几个消息中相同的原子消息在交叉树或交叉森林中用交叉结点来表示,这样易于保证原子消息的一致性,以及公钥和它所有者之间的一致性.另外,交叉树还可用于为消息模板建立可接受消息,这对于建立在模型检验基础上的安全协议分析是非常必要的.
提齣用一種特殊的數據結構交扠樹來描述安全協議中的消息.交扠樹有一些交扠結點,擁有交扠結點的幾棵交扠樹形成交扠森林.一棵交扠樹唯一對應于一箇消息,一箇交扠森林錶示那些在協議執行過程中採用相同機製髮送或接收的消息.一箇或幾箇消息中相同的原子消息在交扠樹或交扠森林中用交扠結點來錶示,這樣易于保證原子消息的一緻性,以及公鑰和它所有者之間的一緻性.另外,交扠樹還可用于為消息模闆建立可接受消息,這對于建立在模型檢驗基礎上的安全協議分析是非常必要的.
제출용일충특수적수거결구교차수래묘술안전협의중적소식.교차수유일사교차결점,옹유교차결점적궤과교차수형성교차삼림.일과교차수유일대응우일개소식,일개교차삼림표시나사재협의집행과정중채용상동궤제발송혹접수적소식.일개혹궤개소식중상동적원자소식재교차수혹교차삼림중용교차결점래표시,저양역우보증원자소식적일치성,이급공약화타소유자지간적일치성.령외,교차수환가용우위소식모판건립가접수소식,저대우건립재모형검험기출상적안전협의분석시비상필요적.
