Languages
Datta, Anupam.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
Formal methods (Computer science)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Data protection
Computer networks
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Computer security
Internet
Data Structures, Cryptology and Information Theory.
Computers and Society.
Information Storage and Retrieval.
Data encryption (Computer science)