Abstract is missing.
- Integrating Trust and Economic Theories with Knowledge Science for Dependable Service AutomationVangalur S. Alagar, Kaiyu Wan. 1-16 [doi]
- Privacy Architectures: Reasoning about Data Minimisation and IntegrityThibaud Antignac, Daniel Le Métayer. 17-32 [doi]
- Monotonicity and Completeness in Attribute-Based Access ControlJason Crampton, Charles Morisset. 33-48 [doi]
- Caching and Auditing in the RPPM ModelJason Crampton, James Sellwood. 49-64 [doi]
- BlueWallet: The Secure Bitcoin WalletTobias Bamert, Christian Decker, Roger Wattenhofer, Samuel Welten. 65-80 [doi]
- Ensuring Secure Non-interference of Programs by Game SemanticsAleksandar S. Dimovski. 81-96 [doi]
- Stateful Usage Control for Android Mobile DevicesAliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino. 97-112 [doi]
- A Formal Model for Soft Enforcement: Influencing the Decision-MakerCharles Morisset, Iryna Yevseyeva, Thomas Groß, Aad P. A. van Moorsel. 113-128 [doi]
- Using Prediction Markets to Hedge Information Security RisksPankaj Pandey, Einar Arthur Snekkenes. 129-145 [doi]
- ALPS: An Action Language for Policy Specification and Automated Safety AnalysisSilvio Ranise, Riccardo Traverso. 146-161 [doi]
- A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPASonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. 162-177 [doi]
- Hybrid Enforcement of Category-Based Access ControlAsad Ali, Maribel Fernández. 178-182 [doi]
- Lime: Data Lineage in the Malicious EnvironmentMichael Backes, Niklas Grimm, Aniket Kate. 183-187 [doi]
- NoPhish: An Anti-Phishing Education AppGamze Canova, Melanie Volkamer, Clemens Bergmann, Roland Borza. 188-192 [doi]
- ROMEO: ReputatiOn Model Enhancing OpenID SimulatorGinés Dólera Tormo, Félix Gómez Mármol, Gregorio Martínez Pérez. 193-197 [doi]
- Evaluation of Key Management Schemes in Wireless Sensor NetworksFilip Jurnecka, Martin Stehlík, Vashek Matyas. 198-203 [doi]
- Efficient Java Code Generation of Security Protocols Specified in AnB/AnBxPaolo Modesti. 204-208 [doi]