Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal to Practical Security
  • Produktbild: Formal to Practical Security

Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration

Aus der Reihe Security and Cryptology

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2009

Herausgeber

Véronique Cortier + weitere

Verlag

Springer Berlin

Seitenzahl

199

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

324 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02001-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

199

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

324 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02001-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal to Practical Security
  • Produktbild: Formal to Practical Security
  • Formal to Practical Security.- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables.- Validating Integrity for the Ephemerizer’s Protocol with CL-Atse.- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols.- Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin.- Comparing State Spaces in Automatic Security Protocol Analysis.- Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures.- Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment.- New Anonymity Notions for Identity-Based Encryption.- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.- Writing an OS Kernel in a Strictly and Statically Typed Language.