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