語系
Datta, Anupam.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Advances in computer science - ASIAN 2009information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(1998 :); Datta, Anupam.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(1998 :); Barthe, Gilles.; Datta, Anupam.; Etalle, Sandro.; SpringerLink (Online service)
(書目-電子資源)
Security analysis of network protocols: Compositional reasoning and complexity-theoretic foundations.
by:
Datta, Anupam.; Stanford University.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Data Structures, Cryptology and Information Theory.
Logics and Meanings of Programs.
Data protection
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Data encryption (Computer science)
Formal methods (Computer science)
Information Storage and Retrieval.
Internet
Computer security
Data Encryption.
Computer Science.
Computer networks
Computer Communication Networks.
Systems and Data Security.
Computers and Society.