An approach to the formal verification of the three-principal cryptographic protocols
Yuqing Zhang, Xiuying Liu · ACM SIGOPS Operating Systems Review · 2004
Based on the model checking theory, we derive the Running-Mode Analysis of three-principal cryptographic protocols from the Running-Mode Analysis of two-principal cryptographic protocols. To test this method, we analyze the Davis Swick protocol and successfully prove the security this protocol. Therefore, we can draw a conclusion that Running-Mode Analysis of three-principal cryptographic protocol is available.