Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers /
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of SecurityCorporate Author
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security(2010 Mar. 27-28 :Paphos, Cyprus)
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Armando, Alessandro.editor.
Lowe, Gavin.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Data encryption (Computer science).
Computer communication systems.
Computers and civilization.
Algorithms.
Software engineering.
Programming languages (Electronic computers).
Cryptology.
Computer Communication Networks.
Computers and Society.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Automated reasoning
Security protocol analysis
ARSPA
Lecture notes in computer science