3 search results - page 1 / 1 » Using Parametric Automata for the Verification of the Stop-a... |
62
Voted
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
68
Voted
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...