Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Secure Transaction Protocol Analysis

Models and Applications
BookPaperback
Ranking184048in
CHF59.00

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.
More descriptions

Details

ISBN/GTIN978-3-540-85073-1
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date30/07/2008
SeriesLecture Notes in Computer Science
Series no.5111
Pages234 pages
LanguageEnglish
Weight403 g
IllustrationsXI, 234 p.
Article no.1623888
CatalogsZeitfracht
Data source no.090620459
More details

Series

Author

Subjects