語系
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)
(書目-電子資源)
主題
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.