Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book)
Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6186 LNCS Sublibrary : SL 4 – Security and cryptology .
978-3-642-16074-5
Computer science and engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Cryptography--Congresses
978-3-642-16074-5
Computer science and engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Cryptography--Congresses