Security and Trust Management

1. Front Matter

   PDF

2. Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation

   • Vangalur Alagar, Kaiyu Wan

   Pages 1-16

3. Privacy Architectures: Reasoning about Data Minimisation and Integrity

   • Thibaud Antignac, Daniel Le Métayer

   Pages 17-32

4. Monotonicity and Completeness in Attribute-Based Access Control

   • Jason Crampton, Charles Morisset

   Pages 33-48

5. Caching and Auditing in the RPPM Model

   • Jason Crampton, James Sellwood

   Pages 49-64

6. BlueWallet: The Secure Bitcoin Wallet

   • Tobias Bamert, Christian Decker, Roger Wattenhofer, Samuel Welten

   Pages 65-80

7. Ensuring Secure Non-interference of Programs by Game Semantics

   • Aleksandar S. Dimovski

   Pages 81-96

8. Stateful Usage Control for Android Mobile Devices

   • Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino

   Pages 97-112

9. A Formal Model for Soft Enforcement: Influencing the Decision-Maker

   • Charles Morisset, Iryna Yevseyeva, Thomas Groß, Aad van Moorsel

   Pages 113-128

10. Using Prediction Markets to Hedge Information Security Risks

    • Pankaj Pandey, Einar Arthur Snekkenes

    Pages 129-145

11. ALPS: An Action Language for Policy Specification and Automated Safety Analysis

    • Silvio Ranise, Riccardo Traverso

    Pages 146-161

12. A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA

    • Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

    Pages 162-177

13. Short Papers

    1. Hybrid Enforcement of Category-Based Access Control

       • Asad Ali, Maribel Fernández

       Pages 178-182

    2. Lime: Data Lineage in the Malicious Environment

       • Michael Backes, Niklas Grimm, Aniket Kate

       Pages 183-187

    3. NoPhish: An Anti-Phishing Education App

       • Gamze Canova, Melanie Volkamer, Clemens Bergmann, Roland Borza

       Pages 188-192

    4. ROMEO: ReputatiOn Model Enhancing OpenID Simulator

       • Ginés Dólera Tormo, Félix Gómez Mármol, Gregorio Martínez Pérez

       Pages 193-197

    5. Evaluation of Key Management Schemes in Wireless Sensor Networks

       • Filip Jurnečka, Martin Stehlík, Vashek Matyáš

       Pages 198-203

    6. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

       • Paolo Modesti

       Pages 204-208

14. Back Matter

    PDF

This book constitutes the refereed proceedings of the 10th International Workshop on Security and Trust Management, STM 2014, held in Wroclaw, Poland, in September 2014, in conjunction with the 19th European Symposium Research in Computer Security, ESORICS 2014. The 11 revised full papers were carefully reviewed and selected from 29 submissions and cover topics as access control, data protection, digital rights, security and trust policies, security and trust in social networks.

• access control
• applied computing
• authentication
• network security
• privacy
• risk management
• security
• security protocols
• trust

• University of Luxembourg, Luxembourg, Luxembourg

  Sjouke Mauw

• Department of Informatics and Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark

  Christian Damsgaard Jensen

Policies and ethics