• Journalartikel

A Framework for Proving the Correctness of Cryptographic Protocol Properties by Linear Temporal Logic

Publikationsdetails

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

2013

Erschienen in

International journal for digital society