Languages
Vigano, Luca.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Vigano, Luca.; Degano, Pierpaolo.; SpringerLink (Online service)
(Electronic resources)
Subjects
Formal methods (Computer science)
Computer security
Algorithm Analysis and Problem Complexity.
Computer Science.
Data Structures, Cryptology and Information Theory.
Data Encryption.
Cryptography
Computer Systems Organization and Communication Networks.
Computer Communication Networks.
Coding and Information Theory.