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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Dimitrakos, Theo (Editor ), Martinelli, Fabio (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:IFIP Advances in Information and Communication Technology, 173
Temas:
Computer science.
Computers.
Cryptography.
Data encryption (Computer science).
Computer networks .
Data structures (Computer science).
Information theory.
Theory of Computation.
Models of Computation.
Hardware Performance and Reliability.
Cryptology.
Computer Communication Networks.
Data Structures and Information Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares