• Konferenzpaper

A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic

Publikationsdetails

Autor_innen
A. Alabdulatif,X. Ma,L. Nolle
Publikationsjahr

2011