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

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.