Security and Cryptology

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

Editors: Cortier, V., Kirchner, C., Okada, M., Sakurada, H. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-02002-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-02001-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This State-of-the-Art Survey contains a collection of papers originating in the French-Japanese Collaboration on Formal to Practical Security that have crystallized around workshops held in Tokyo and Nancy between 2005 and 2008. These publications mirror the importance of the collaborations in the various fields of computer science to solve these problems linked with other sciences and techniques as well as the importance of bridging the formal theory and practical applications. 

The 10 papers presented address issues set by the global digitization of our society and its impact on social organization like privacy, economics, environmental policies, national sovereignty, as well as medical environments. The contents cover various aspects of security, cryptography, protocols, biometry and static analysis. 

This book is aimed at researchers interested in new results but it also serves as an entry point for readers interested in this domain.

Table of contents (10 chapters)

  • Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables

    feldt, Reynald Af (et al.)

    Pages 1-20

  • Validating Integrity for the Ephemerizer’s Protocol with CL-Atse

    Arora, Charu (et al.)

    Pages 21-32

  • Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

    Bana, Gergei (et al.)

    Pages 33-56

  • Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin

    Barral, Claude (et al.)

    Pages 57-69

  • Comparing State Spaces in Automatic Security Protocol Analysis

    Cremers, Cas J. F. (et al.)

    Pages 70-94

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-02002-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-02001-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Security and Cryptology
Series Volume
5458
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-02002-5
DOI
10.1007/978-3-642-02002-5
Softcover ISBN
978-3-642-02001-8
Edition Number
1
Number of Pages
VII, 199
Topics