Formal Aspects in Security and Trust (eBook, PDF)
-4%
54,95
Bisher 56,99**
54,95
Alle Preise in Euro, inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Bisher 56,99**
54,95
Alle Preise in Euro, inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
Als Download kaufen
Bisher 56,99**
-4%
54,95
Preis in Euro, inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Abo Download
9,90 / Monat*
*Abopreis beinhaltet vier eBooks, die aus der tolino select Titelauswahl im Abo geladen werden können.

Preis in Euro, inkl. MwSt.
Sofort per Download lieferbar

Einmalig pro Kunde einen Monat kostenlos testen (danach 9,90 pro Monat), jeden Monat 4 aus 40 Titeln wählen, monatlich kündbar.

Mehr zum tolino select eBook-Abo
Jetzt verschenken
Bisher 56,99**
-4%
54,95
Preis in Euro, inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
27 °P sammeln

  • Format: PDF


This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of one invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, and many other topics.…mehr

Produktbeschreibung
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of one invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, and many other topics.

Autorenporträt
Theo Dimitrakos, BITD-CCLRC, UK / Fabio Martinelli, IIT-CNR, Italy
Inhaltsangabe
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.