Scan barcode
234 pages • missing pub info (editions)
ISBN/UID: 9783540850731
Format: Paperback
Language: English
Publisher: Springer
Publication date: 01 October 2008
Description
The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedby...
Community Reviews
Content Warnings
234 pages • missing pub info (editions)
ISBN/UID: 9783540850731
Format: Paperback
Language: English
Publisher: Springer
Publication date: 01 October 2008
Description
The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedby...
Community Reviews
Content Warnings