Siirry suoraan sisältöön
Secure Transaction Protocol Analysis
Tallenna

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.
Alaotsikko
Models and Applications
Painos
2008 ed.
ISBN
9783540850731
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
30.7.2008
Sivumäärä
234