Extension of AVISPA based on concept of channels
Liu We · Jisuanji yingyong yanjiu · 2013
For the transmission of some of protocol messages relies on channels with particular security properties,this paper proposed an extension of AVISPA based on abstract channels. It supplied security guarantees such as authentication by abstract channels,and with which it could model the underlying services providing security guarantees. It realized abstract channels with cryptography schemes and labels,and validated the model by verifying Diffie-Hellman key exchange protocol with message origin authentication using extended AVISPA automatically. The extension can simplify protocol modeling and enhance the power of the mechanized tool AVISPA.