Publikationsdetails

Autor_innen
Infonomics Society
Publikationsjahr

2012

Verlag

IEEE

ISBN
978-1-4673-0838-0
URL

A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic

Publikationsjahr

2011