Gå direkt till innehållet
Secure Transaction Protocol Analysis
Spara

Secure Transaction Protocol Analysis

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.
Undertitel
Models and Applications
Upplaga
2008 ed.
ISBN
9783540850731
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2008-07-30
Sidor
234