Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Aspects in Security and Trust
  • Produktbild: Formal Aspects in Security and Trust
Band 3866

Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Aus der Reihe Security and Cryptology

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.04.2009

Abbildungen

X, 331 p.

Herausgeber

Pierpaolo Degano + weitere

Verlag

Springer Berlin

Seitenzahl

331

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01464-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.04.2009

Abbildungen

X, 331 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

331

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01464-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 Aspects in Security and Trust
  • Produktbild: Formal Aspects in Security and Trust
  • Formal Certification of ElGamal Encryption.- Secure Information Flow as a Safety Property.- Who Can Declassify?.- Non-Interference for Deterministic Interactive Programs.- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.- Causality and Accountability.- Dynamics, Robustness and Fragility of Trust.- Trust within the Context of Organizations: A Formal Approach.- Know What You Trust.- Privacy-Friendly Electronic Traffic Pricing via Commits.- A Formal Privacy Management Framework.- Parameterised Anonymity.- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.- Petri Net Security Checker: Structural Non-interference at Work.- Verifying Multi-party Authentication Using Rank Functions and PVS.- The Append-Only Web Bulletin Board.- Secure Broadcast Ambients.- Extending Anticipation Games with Location, Penalty and Timeline.- Do You Really Mean What You Actually Enforced?.- Delegating Privileges over Finite Resources: A Quota Based Delegation Approach.- Access Control and Information Flow in Transactional Memory.