Skip to main content
SpringerLink
Log in

Security and Trust Management

10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Sjouke Mauw

    1. University of Luxembourg, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christian Damsgaard Jensen

    1. Department of Informatics and Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8743)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: STM 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Security and Trust Management

Keywords

About this book

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.

Editors and Affiliations

  • University of Luxembourg, Luxembourg, Luxembourg

    Sjouke Mauw

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

    Christian Damsgaard Jensen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation