ISSE

Search

Verifying Security Protocols: An ASM Approach.

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn

Verifying Security Protocols: An ASM Approach.

Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005)


BibTex

For questions regarding the publication, please contact publications@isse.de!


Downloads: