FORMAL VERIFICATION TECHNIQUES FOR COMPUTER COMMUNICATION SECURITY PROTOCOLS
LU MA, Jeffrey J. P. Tsai · 2001
Rapid development of networks and communications makes security a more and more crucial problem. To provide... In this paper, we survey several security protocols and formal verification techniques to verify the protocols.