Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Dimitrakos, Theo (Editor ), Martinelli, Fabio (Editor ), Ryan, Peter Y A. (Editor ), Schneider, Steve (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Security and Cryptology ; 4691
Temas:
Computer networks .
Cryptography.
Data encryption (Computer science).
Operating systems (Computers).
Computers and civilization.
Electronic data processing-Management.
Information storage and retrieval systems.
Computer Communication Networks.
Cryptology.
Operating Systems.
Computers and Society.
IT Operations.
Information Storage and Retrieval.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Strategic Games on Defense Trees
  • Timed Calculus of Cryptographic Communication
  • A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk
  • Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security
  • Measuring Anonymity with Relative Entropy
  • Formalizing and Analyzing Sender Invariance
  • From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust
  • A Tool for the Synthesis of Controller Programs
  • Where Can an Insider Attack?
  • Maintaining Information Flow Security Under Refinement and Transformation
  • A Classification of Delegation Schemes for Attribute Authority
  • Program Partitioning Using Dynamic Trust Models
  • Locality-Based Security Policies
  • A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols
  • A Formal Specification of the MIDP 2.0 Security Model
  • A Comparison of Semantic Models for Noninterference
  • Hiding Information in Multi Level Security Systems
  • A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks.

Ejemplares similares