Operational Semantics and Verification of Security Protocols
-15%
portes grátis
Operational Semantics and Verification of Security Protocols
Cremers, Cas; Mauw, Sjouke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
10/2012
174
Dura
Inglês
9783540786351
15 a 20 dias
454
Descrição não disponível.
Introduction.- Preliminaries.- Operational Semantics.- Security Properties.- Verification.- Multiprotocol Attacks.- Generalizing NSL for Multiparty Authentication.- Related Work.- Conclusions and Future Work.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Correctness;Formal methods;Information security;Intruder model;Scyther;Secrecy;Security protocols;Semantics;Verification
Introduction.- Preliminaries.- Operational Semantics.- Security Properties.- Verification.- Multiprotocol Attacks.- Generalizing NSL for Multiparty Authentication.- Related Work.- Conclusions and Future Work.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
