Abstract is missing.
- Semantics and Enforcement of Expressive Information Flow PoliciesAnindya Banerjee. 1-3 [doi]
- An Algebra for Trust Dilution and Trust FusionBaptiste Alcalde, Sjouke Mauw. 4-20 [doi]
- HMM-Based Trust ModelEhab ElSalamouny, Vladimiro Sassone, Mogens Nielsen. 21-35 [doi]
- Deriving Trust from ExperienceFlorian Eilers, Uwe Nestmann. 36-50 [doi]
- Reflections on Trust: Trust Assurance by Dynamic Discovery of Static PropertiesAndrew Cirillo, James Riely. 51-65 [doi]
- Model Checking of Security-Sensitive Business ProcessesAlessandro Armando, Serena Elisa Ponta. 66-80 [doi]
- Analysing the Information Flow Properties of Object-Capability PatternsToby C. Murray, Gavin Lowe. 81-95 [doi]
- Applied Quantitative Information Flow and Statistical DatabasesJonathan Heusser, Pasquale Malacaria. 96-110 [doi]
- Specification and Verification of Side Channel DeclassificationJosef Svenningsson, David Sands. 111-125 [doi]
- Secure Information Flow for Distributed SystemsRafael AlpĂzar, Geoffrey Smith. 126-140 [doi]
- Probable Innocence in the Presence of Independent KnowledgeSardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny. 141-156 [doi]
- A Calculus of Trustworthy Ad Hoc NetworksMassimo Merro, Eleonora Sibilio. 157-172 [doi]
- Comparison of Cryptographic Verification Tools Dealing with Algebraic PropertiesPascal Lafourcade, Vanessa Terrade, Sylvain Vigier. 173-185 [doi]
- Game-Based Verification of Multi-Party Contract Signing ProtocolsYing Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw. 186-200 [doi]
- Attack, Solution and Verification for Shared Authorisation Data in TCG TPMLiqun Chen, Mark Ryan. 201-216 [doi]
- Trusted Multiplexing of Cryptographic ProtocolsJay A. McCarthy, Shriram Krishnamurthi. 217-232 [doi]
- Specifying and Modelling Secure Channels in Strand SpacesAllaa Kamil, Gavin Lowe. 233-247 [doi]
- Integrating Automated and Interactive Protocol VerificationAchim D. Brucker, Sebastian Mödersheim. 248-262 [doi]
- A User Interface for a Game-Based Protocol Verification ToolPeeter Laud, Ilja Tsahhirov. 263-278 [doi]