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 /

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dimitrakos, Theo (Editor), Martinelli, Fabio (Editor)
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2005.
Series:IFIP International Federation for Information Processing, 173
Subjects:
Computer science.
Computer software > Reusability.
Data structures (Computer science).
Data encryption (Computer science).
Computers.
Computer Science.
Theory of Computation.
Models and Principles.
Performance and Reliability.
Data Encryption.
Information Systems and Communication Service.
Data Structures, Cryptology and Information Theory.
Online Access:Full Text via HEAL-Link
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.

Similar Items