TY - DATA AU - Baek,Joonsang AU - Bao,Feng AU - Chen,Kefei AU - Lai,Xuejia ED - SpringerLink (Online service) TI - Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings SN - 9783540887331 AV - QA76.9.A25 B34 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Data protection KW - Data encryption (Computer science) KW - Coding theory KW - Information theory KW - Algebra KW - Data processing KW - Computer Science KW - Data Encryption KW - Systems and Data Security KW - Coding and Information Theory KW - Theory of Computation KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-88733-1 ER -