Using Interval Logics for Temporal Analysis of Security Protocols |
Michael R. Hansen, Robin Sharp
|
| Type | Conference paper [With referee] |
| Conference | First ACM Workshop on Formal Methods in Security Engineering (FMSE'03) |
| Editors | Michael Backes and David Basin and Michael Waidner |
| Year | 2003 pp. 24-31 |
| Publisher | ACM Press |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |