摘要
在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。
In the communication protocols, many properties are relative to time. To study the time properties of the communication protocols. The system must be described in a formal method with time. The mobile ambients is extended with time, then a new formalism --real-time mobile ambients with types is presented. At last, the three-way handshake protocol is expressed with real-time mobile ambients with types. The result proves the method is feasible.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第4期869-872,共4页
Computer Engineering and Design
基金
湖南省重点科技攻关基金项目(05GK2002)
湖南省自然科学基金项目(03JJY6023)
