104
click to vote
ICSE
2008
IEEE-ACM
16 years 12 days 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...