Bauer, Andreas; Juerjens, Jan
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 verification framework introduced in  to monitor complex, history-based security-properties of the SSL-protocol. We give a detailed account of the methodology, compare its formal expressiveness to prior art, and describe its application to an open-source Java-implementation of the SSL-protocol. In particular, we show how one...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.