Introducing ASPECT 1 - a tool for checking protocol security
Brian C. Monahan · 2002
We have developed an efficient proof-of-concept prototype tool for security protocol validation called ASPECT. This prototype is designed to demonstrate the feasibility of our approach to security protocol checking and validation. Our approach