Verifying Security Protocols: An ASM Approach (2005)
Cached
Download Links
- [www.univ-paris12.fr]
- [www.informatik.uni-augsburg.de]
- DBLP
Other Repositories/Bibliography
by
Dominik Haneberg
,
Holger Grandy
,
Wolfgang Reif
,
Gerhard Schellhorn
| Venue: | PROC.ASM05. UNIVERSITÉ DE PARIS 12 |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Haneberg05verifyingsecurity,
author = {Dominik Haneberg and Holger Grandy and Wolfgang Reif and Gerhard Schellhorn},
title = {Verifying Security Protocols: An ASM Approach},
booktitle = {PROC.ASM05. UNIVERSITÉ DE PARIS 12},
year = {2005},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the di#erent agents in the scenario, the attacker and the communication between them.
