Produktbild: Formal Aspects in Security and Trust
Band 173

Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Fr. 138.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2010

Herausgeber

Theo Dimitrakos + weitere

Verlag

Springer Us

Seitenzahl

246

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

394 g

Auflage

Softcover reprint of hardcover 1st ed. 2005

Sprache

Englisch

ISBN

978-1-4419-3685-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2010

Herausgeber

Verlag

Springer Us

Seitenzahl

246

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

394 g

Auflage

Softcover reprint of hardcover 1st ed. 2005

Sprache

Englisch

ISBN

978-1-4419-3685-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Security Issues in the Tuple-Space Coordination Model.- Information Flow Analysis for Probabilistic Timed Automata.- Dynamic Security Labels and Noninterference (Extended Abstract).- Formal Analysis of a Fair Payment Protocol.- Pattern-Matching Spi-Calculus.- Decidability of Opacity with Non-Atomic Keys.- Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.- Family Secrets.- An Interactive Trust Management and Negotiation Scheme.- Complementing Computational Protocol Analysis with Formal Specifications.- A Trust Model with Statistical Foundation.- Modelling Dynamic Opacity Using Petri Nets with Silent Actions.- Reasoning about Secure Interoperation Using Soft Constraints.- A Logic for Auditing Accountability in Decentralized Systems.- A Formal Approach to Specify and Deploy a Network Security Policy.- Discretionary Overriding of Access Control in the Privilege Calculus.- A Formal Model for Parameterized Role-Based Access Control.