Henrik Pilegaard Michael R. Hansen Robin Sharp An Approach to Analyzing Availability Properties of Security Protocols. 337- 2003 10 Nord. J. Comput. 4 db/journals/njc/njc10.html#PilegaardHS03