TY - DATA AU - Hutchison,David AU - Baek,Joonsang AU - Bao,Feng AU - Chen,Kefei AU - Kanade,Takeo AU - Kittler,Josef AU - Kleinberg,Jon M. AU - Lai,Xuejia AU - Mattern,Friedemann AU - Mitchell,John C. AU - Naor,Moni AU - Nierstrasz,Oscar AU - Pandu Rangan,C. AU - Steffen,Bernhard AU - Sudan,Madhu AU - Terzopoulos,Demetri AU - Tygar,Doug AU - Vardi,Moshe Y. AU - Weikum,Gerhard ED - SpringerLink (Online service) TI - Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540887331 PY - 2008/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Algebra KW - Data processing KW - Coding theory KW - Computer Science KW - Data encryption (Computer science) KW - Data protection KW - Information theory KW - Coding and Information Theory KW - Data Encryption KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation KW - Systems and Data Security KW - Theory of Computation UR - http://dx.doi.org/10.1007/978-3-540-88733-1 ER -