Specifying and Modelling Secure Channels in Strand Spaces

Bibliographic Details
Main Authors: Kamil, A, Lowe, G
Format: Journal article
Published: 2009