A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic

Publikationsdetails

Autor_innen	A. Alabdulatif, X. Ma, L. Nolle
Publikationsjahr	2011
Erschienen in	International Conference on Information Society (i-Society), 2012
Seiten	k.A.-k.A.
Verlag	IEEE