Vor Ort
Merkzettel Warenkorb
Produktbild: Advances in Computer Science, Information Security and Privacy
Band 5913

Advances in Computer Science, Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.11.2009

Herausgeber

Anupam Datta

Verlag

Springer Berlin

Seitenzahl

159

Maße (L/B/H)

23,6/15,5/1,5 cm

Gewicht

271 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-10621-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.11.2009

Herausgeber

Anupam Datta

Verlag

Springer Berlin

Seitenzahl

159

Maße (L/B/H)

23,6/15,5/1,5 cm

Gewicht

271 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-10621-7

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 6221 3454301
Fax: +49 30 8214091

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: Advances in Computer Science, Information Security and Privacy
  • “Logic Wins!”.- Higher-Order Program Verification and Language-Based Security.- Deducibility Constraints.- Automated Security Proof for Symmetric Encryption Modes.- Noninterference with Dynamic Security Domains and Policies.- A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers.- A Logic for Formal Verification of Quantum Programs.- Reducing Equational Theories for the Decision of Static Equivalence.- A Simulation-Based Treatment of Authenticated Message Exchange.- Trusted Deployment of Virtual Execution Environment in Grid Systems.- A Dolev-Yao Model for Zero Knowledge.- A Special Proxy Signature Scheme with Multi-warrant.