Modelling and Analysis of Security Protocols

Bibliographic Details
Main Authors:	Ryan, P, Schneider, S, Goldsmith, M, Lowe, G, Roscoe, B
Format:	Book
Published:	Addison Wesley 2001

Modelling and analysis of security protocols by Ryan, P, Schneider, S, Goldsmith, M, Lowe, G, Roscoe, B

Published 2001

Book

Published 2001

Book