A Logic Approach to the Verification and Testing of Security Protocols

W. Yang and C.-W. Tsay (Taiwan)


logic, network security, security protocol, protocol testing, protocol verification


Security is an ever important issue in computer networks. Current network security, which is mostly based on (symmetric and asymmetric) key encryption, depends on the soundness of the security protocols as well as the strengths of the encryption algorithms. We propose a logic frame work to verify or test the soundness of the security protocols. The logic framework can identify the hidden weaknesses in a protocol. When a verified protocol does break down, this logic framework can also quickly point out the guilty assumptions made in the framework that are responsible for the breakdown of the protocol security. The information is useful in mending the broken protocol.

Important Links:

Go Back