A Formal Model For Multi-Protocol Analysis

摘要：

　　Formal models is the basis of protocol analysis,and existing formal models usually assume that only a single protocol runs in an untrusted network.However,when a protocol is deployed,it is usually run concurrently with other peer protocols on the network.As a result,these models cannot analyze multi-protocol security.In this paper,we build the formalization model for multi-protocol.This model is divided into two parts,one is static description,which is used to describe the message structure,communication steps and goals of the protocol,and the other is dynamic execution description.It is used to describe state change of agents in network.

关键词： Multi-Protocol Formal Model security protocol

作者: Wen Gu Ji-Hong Han Lin Yuan

作者单位: Institution of Cryptography Engineering,Information Engineering University,zhengzhou,China

会议类型: 国际会议

会议名称: 2017 IEEE 2nd Advanced Information Technology,Electronic and Automation Control Conference(IAEAC 2017)(2017 IEEE 第2届先进信息技术、电子与自动化控制国际会议)

会议地点: 重庆

会议语种:英文

页码: 2559-2562

在线出版日期: 2017-03-25（万方平台首次上网日期，不代表论文的发表时间）