Výsledky vyhľadávania - "Software/Program Verification—Formal methods General Terms Security"

Selecting Theories and Nonce Generation for Recursive Protocols

Autori: Klaas Ole Kürtz Ralf Küsters Thomas Wilke a ďalší

Prispievatelia: Klaas Ole Kürtz Ralf Küsters Thomas Wilke a ďalší

Zdroj: http://infsec.uni-trier.de/publications/paper/KuertzKuestersWilke-FMSE-2007.pdf.

Predmety: Categories and Subject Descriptors C.2.2 [Computer Systems Organization, Network Pro- tocols—Protocol verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical Verification, D.2.4 [Software, Software/Program Verification—Formal methods General Terms Security, Verification, Theory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.665.7267

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.665.7267
http://infsec.uni-trier.de/publications/paper/KuertzKuestersWilke-FMSE-2007.pdf