Take a photo of a barcode or cover
234 pages • missing pub info (view editions)
ISBN/UID: 9783540850731
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9783540850731
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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