Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science, 5983)

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009. The 18 revised papers presented together with an abstract of the invited lecture were carefully reviewed and selected from 50 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, distributed trust management systems, 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 - Semantics and Enforcement of Expressive Information Flow Policies....Pages 1-3 An Algebra for Trust Dilution and Trust Fusion....Pages 4-20 HMM-Based Trust Model....Pages 21-35 Deriving Trust from Experience....Pages 36-50 Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties....Pages 51-65 Model Checking of Security-Sensitive Business Processes....Pages 66-80 Analysing the Information Flow Properties of Object-Capability Patterns....Pages 81-95 Applied Quantitative Information Flow and Statistical Databases....Pages 96-110 Specification and Verification of Side Channel Declassification....Pages 111-125 Secure Information Flow for Distributed Systems....Pages 126-140 Probable Innocence in the Presence of Independent Knowledge....Pages 141-156 A Calculus of Trustworthy Ad Hoc Networks....Pages 157-172 Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties....Pages 173-185 Game-Based Verification of Multi-Party Contract Signing Protocols....Pages 186-200 Attack, Solution and Verification for Shared Authorisation Data in TCG TPM....Pages 201-216 Trusted Multiplexing of Cryptographic Protocols....Pages 217-232 Specifying and Modelling Secure Channels in Strand Spaces....Pages 233-247 Integrating Automated and Interactive Protocol Verification....Pages 248-262 A User Interface for a Game-Based Protocol Verification Tool....Pages 263-278 Back Matter....Pages -