KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Aspects in Security and Trust
  • Produktbild: Formal Aspects in Security and Trust
Band 5983

Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Aus der Reihe Security and Cryptology

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.04.2010

Abbildungen

X, 279 p. 46 illus.

Herausgeber

Pierpaolo Degano + weitere

Verlag

Springer Berlin

Seitenzahl

279

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-12458-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.04.2010

Abbildungen

X, 279 p. 46 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

279

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-12458-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Invited Lecture.- Semantics and Enforcement of Expressive Information Flow Policies.- Session 1. Trust.- An Algebra for Trust Dilution and Trust Fusion.- HMM-Based Trust Model.- Deriving Trust from Experience.- Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties.- Session 2. Workflow and Orchestration.- Model Checking of Security-Sensitive Business Processes.- Session 3. Secure Flow.- Analysing the Information Flow Properties of Object-Capability Patterns.- Applied Quantitative Information Flow and Statistical Databases.- Specification and Verification of Side Channel Declassification.- Secure Information Flow for Distributed Systems.- Session 4. Mobility and Deniability.- Probable Innocence in the Presence of Independent Knowledge.- A Calculus of Trustworthy Ad Hoc Networks.- Session 5. Protocols 1.- Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties.- Game-Based Verification of Multi-Party Contract Signing Protocols.- Attack, Solution and Verification for Shared Authorisation Data in TCG TPM.- Session 6. Protocols 2.- Trusted Multiplexing of Cryptographic Protocols.- Specifying and Modelling Secure Channels in Strand Spaces.- Session 7. Protocols 3.- Integrating Automated and Interactive Protocol Verification.- A User Interface for a Game-Based Protocol Verification Tool.