Formal Design Framework of the Authentication Property
Chang Chun Li, Gang Liu, Xing Tao Zhu, Zhi Zheng · Applied Mechanics and Materials · 2014
A framework to design the authentication property is presented in this paper. The framework designs the message structures which are used to formally express the authentication goal. These structures guarantee the authentication property. The dynamic characteristics of security property are added to the process of design through the trace-model. The design principles for avoiding the attack on the authentication property are discussed and formalized into inference rules. This method is proved to be valid.