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

Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Aus der Reihe Security and Cryptology

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Abbildungen

VIII, 288 p.

Herausgeber

Theo Dimitrakos + weitere

Verlag

Springer Berlin

Seitenzahl

288

Maße (L/B/H)

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

Gewicht

452 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75226-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Abbildungen

VIII, 288 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

288

Maße (L/B/H)

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

Gewicht

452 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75226-4

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
  • Strategic Games on Defense Trees.- Timed Calculus of Cryptographic Communication.- A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk.- Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.- Measuring Anonymity with Relative Entropy.- Formalizing and Analyzing Sender Invariance.- From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.- A Tool for the Synthesis of Controller Programs.- Where Can an Insider Attack?.- Maintaining Information Flow Security Under Refinement and Transformation.- A Classification of Delegation Schemes for Attribute Authority.- Program Partitioning Using Dynamic Trust Models.- Locality-Based Security Policies.- A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols.- A Formal Specification of the MIDP 2.0 Security Model.- A Comparison of Semantic Models for Noninterference.- Hiding Information in Multi Level Security Systems.- A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks.