Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, and distributed trust management systems. There is also focus on trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies. Front Matter....Pages - Strategic Games on Defense Trees....Pages 1-15 Timed Calculus of Cryptographic Communication....Pages 16-30 A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk....Pages 31-46 Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security....Pages 47-64 Measuring Anonymity with Relative Entropy....Pages 65-79 Formalizing and Analyzing Sender Invariance....Pages 80-95 From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust....Pages 96-111 A Tool for the Synthesis of Controller Programs....Pages 112-126 Where Can an Insider Attack?....Pages 127-142 Maintaining Information Flow Security Under Refinement and Transformation....Pages 143-157 A Classification of Delegation Schemes for Attribute Authority....Pages 158-169 Program Partitioning Using Dynamic Trust Models....Pages 170-184 Locality-Based Security Policies....Pages 185-201 A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols....Pages 202-219 A Formal Specification of the MIDP 2.0 Security Model....Pages 220-234 A Comparison of Semantic Models for Noninterference....Pages 235-249 Hiding Information in Multi Level Security Systems....Pages 250-269 A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks....Pages 270-284 Back Matter....Pages - This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers include focus of formal aspects in security and trust policy models, security protocol design and analysis, and formal models of trust and reputation. Theo Dimitrakos ... [et Al.] (eds.). Includes Bibliographical References And Index. Also Issued Online