Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai.

Subject headings

Coding theory  (LCSH)

Computer science  (LCSH)

Data encryption (Computer science)  (LCSH)

Data protection  (LCSH)

Information theory  (LCSH)

Algebra  -- Data processing (LCSH)

Computer Science 

Coding and Information Theory 

Data Encryption 

Mathematical Logic and Formal Languages 

Symbolic and Algebraic Manipulation 

Systems and Data Security 

Theory of Computation 

Keyword

Springer eBooks