Formal Aspects in Security and Trust (eBook, PDF)

Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Redaktion: Dimitrakos, Theo; Schneider, Steve; Ryan, Peter Y. A.; Martinelli, Fabio

• Format: PDF

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 259
• Erscheinungstermin: 27. Februar 2006
• Englisch
• ISBN-13: 9783540326298
• Artikelnr.: 44223476

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.