TY - BOOK AU - Cortier,Veronique ED - SpringerLink (Online service) TI - Formal to practical security: papers issued from the 2005 - 2008 French Japanese collaboration SN - 9783642020025 (electronic bk.) AV - QA76.9.A25 F67 2009 U1 - 005.8 22 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer security KW - congresses KW - Computers KW - Access control KW - Congresses KW - Data protection KW - Coding and Information Theory KW - Computer Science KW - Data Encryption KW - Computers and Society KW - Data Structures, Cryptology and Information Theory KW - Pattern Recognition KW - Biometrics UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-02002-5 ER -