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

List of contents

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.

Product details

• Assisted by: Theo Dimitrakos (Editor), Fabio Martinelli (Editor), Peter Y A Ryan (Editor), Steve Schneider (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 17.09.2007
• EAN: 9783540752264
• ISBN: 978-3-540-75226-4
• No. of pages: 288
• Dimensions: 155 mm x 16 mm x 235 mm
• Weight: 457 g
• Illustrations: VIII, 288 p.
• Series: Lecture Notes in Computer Science; Security and Cryptology
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks; C, Data Warehousing, computer science, Information Retrieval, Computers and Society, Management of Computing and Information Systems, IT Operations, Computer Communication Networks, Operating systems, Maintenance & repairs, information architecture, Ethical & social aspects of IT, Computers and civilization, Management information systems, Coding theory & cryptology, Information Storage and Retrieval, Data encryption, Data encryption (Computer science), Cryptology, Computer communication systems, Operating systems (Computers)