Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5458)
Part of the book sub series: Security and Cryptology (LNSC)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 chapters)
-
Front Matter
-
Formal to Practical Security
-
Back Matter
About this book
Editors and Affiliations
-
LORIA, Équipe Cassis, Bât. A, Vandoeuvre-lès-Nancy Cedex, France
Véronique Cortier
-
Centre de Recherche, INRIA Bordeaux – Sud-Ouest, Bât. A29, Talence, France
Claude Kirchner
-
Department of Philosophy, Keio University, Tokyo, Japan
Mitsuhiro Okada
-
3-1 Morinosato Wakamiya Atsugi-shi, Kanagawa, Japan
Hideki Sakurada
Bibliographic Information
Book Title: Formal to Practical Security
Book Subtitle: Papers Issued from the 2005-2008 French-Japanese Collaboration
Editors: Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-02002-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-02001-8Published: 25 May 2009
eBook ISBN: 978-3-642-02002-5Published: 14 May 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 199
Topics: Cryptology, Programming Techniques, Pattern Recognition, Computers and Society, Data Structures and Information Theory, Biometrics