Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6186. | LNCS sublibrary. SL 4, Security and cryptology.Publication details: Berlin : Springer, 2010.Description: 1 online resource (viii, 184 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783642160745
- 3642160743
- ARSPA-WITS 2010
- Computer security -- Congresses
- Formal methods (Computer science) -- Congresses
- Cryptography -- Congresses
- Computer security
- Computing Methodologies
- Computer Security
- Sécurité informatique -- Congrès
- Méthodes formelles (Informatique) -- Congrès
- Cryptographie -- Congrès
- Sécurité informatique
- Informatique
- Computer security
- Cryptography
- Formal methods (Computer science)
- Automated reasoning
- Security protocol analysis
- ARSPA
- computers
- samenleving
- society
- algoritmen
- algorithms
- computeranalyse
- computer analysis
- computerwetenschappen
- computer sciences
- gegevensbeheer
- data management
- computernetwerken
- computer networks
- software engineering
- programmeertalen
- programming languages
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 005.8 22
- QA76.9.A25
- QA 76.9.A25
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Annotation This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
Print version record.