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
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer US
2005, 2005
|
Edition: | 1st ed. 2005 |
Series: | IFIP Advances in Information and Communication Technology
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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