Using the ASTRAL model checker for cryptographic protocol analysis
| Author(s) : | Richard A. Kemmerer Zhe Dang, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on the mechanism of the ASTRAL model checker and how it can be used to analyze encryption protocols., |