Secure Transaction Protocol Analysis : Models and Applications. [elektronicky zdroj]

Autor: Chen, Qingfeng
Další autoři:
Jazyk: angličtina
Informace o vydání: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2008.
Předmět:
Druh dokumentu: Online; Non-fiction; Electronic document
Abstrakt: Summary: The present volume arose from the need for a comprehensive coverage of the state-of-the-art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students.
Databáze: Vybrané kolekce e-knih