語系
Vigano, Luca.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
主題
Computer security
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Data Encryption.
Data Structures, Cryptology and Information Theory.
Computer Science.
Coding and Information Theory.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Cryptography