Languages
Datta, Anupam.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Security analysis of network protocols: Compositional reasoning and complexity-theoretic foundations.
by:
Datta, Anupam.; Stanford University.
(Electronic resources)
Subjects
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.