Model Checking for Security Protocols

摘要

As more resources are added to compiler networks and as more vendors look to theWorld Wide Web as a viable marketplace the importance of being able to restrict access and to insure some kind of acceptable behavior even in the presence of malicious intruders becomes paramount. People have looked to cryptography to help solve many of these problems. However cryptography itself is only a tool. The security of a system depends not only on the cryptosystem being used but also on how it is used. Typically researchers have proposed the use of Security protocols to provide these security guarantees. These protocols consist of a sequence of