Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Degano, Pierpaolo (Επιμελητής έκδοσης), Guttman, Joshua (Επιμελητής έκδοσης), Martinelli, Fabio (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Σειρά: Lecture Notes in Computer Science, 5491
• Θέματα: Computer science.; Computer communication systems.; Computer security.; Data encryption (Computer science).; Information storage and retrieval.; Computers and civilization.; Management information systems.; Computer Science.; Systems and Data Security.; Computer Communication Networks.; Data Encryption.; Computers and Society.; Management of Computing and Information Systems.; Information Storage and Retrieval.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Comput...

Πίνακας περιεχομένων:

• Formal Certification of ElGamal Encryption
• Secure Information Flow as a Safety Property
• Who Can Declassify?
• Non-Interference for Deterministic Interactive Programs
• Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
• Causality and Accountability
• Dynamics, Robustness and Fragility of Trust
• Trust within the Context of Organizations: A Formal Approach
• Know What You Trust
• Privacy-Friendly Electronic Traffic Pricing via Commits
• A Formal Privacy Management Framework
• Parameterised Anonymity
• Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
• Petri Net Security Checker: Structural Non-interference at Work
• Verifying Multi-party Authentication Using Rank Functions and PVS
• The Append-Only Web Bulletin Board
• Secure Broadcast Ambients
• Extending Anticipation Games with Location, Penalty and Timeline
• Do You Really Mean What You Actually Enforced?
• Delegating Privileges over Finite Resources: A Quota Based Delegation Approach
• Access Control and Information Flow in Transactional Memory.