Gå direkte til innholdet
Secure Transaction Protocol Analysis
Spar

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.
Undertittel
Models and Applications
Opplag
2008 ed.
ISBN
9783540850731
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.7.2008
Antall sider
234