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