default search action

combined dblp search
author search
venue search
publication search

ask others

STM 2014: Wroclaw, Poland

> Home > Conferences and Workshops > STM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/stm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/2014
Sjouke Mauw, Christian Damsgaard Jensen:
Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. Lecture Notes in Computer Science 8743, Springer 2014, ISBN 978-3-319-11850-5
- view
  authority control:
- export record
  dblp key:
  - conf/stm/AlagarW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/AlagarW14
Vangalur S. Alagar, Kaiyu Wan:
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/stm/AntignacM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/AntignacM14
Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning about Data Minimisation and Integrity. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/stm/CramptonM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/CramptonM14
Jason Crampton, Charles Morisset:
Monotonicity and Completeness in Attribute-Based Access Control. 33-48
- view
  authority control:
- export record
  dblp key:
  - conf/stm/CramptonS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/CramptonS14
Jason Crampton, James Sellwood:
Caching and Auditing in the RPPM Model. 49-64
- view
  authority control:
- export record
  dblp key:
  - conf/stm/BamertDWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/BamertDWW14
Tobias Bamert, Christian Decker, Roger Wattenhofer, Samuel Welten:
BlueWallet: The Secure Bitcoin Wallet. 65-80
- view
  authority control:
- export record
  dblp key:
  - conf/stm/Dimovski14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/Dimovski14
Aleksandar S. Dimovski:
Ensuring Secure Non-interference of Programs by Game Semantics. 81-96
- view
  authority control:
- export record
  dblp key:
  - conf/stm/LazouskiMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/LazouskiMMS14
Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino:
Stateful Usage Control for Android Mobile Devices. 97-112
- view
  authority control:
- export record
  dblp key:
  - conf/stm/MorissetYGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/MorissetYGM14
Charles Morisset, Iryna Yevseyeva, Thomas Groß, Aad P. A. van Moorsel:
A Formal Model for Soft Enforcement: Influencing the Decision-Maker. 113-128
- view
  authority control:
- export record
  dblp key:
  - conf/stm/PandeyS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/PandeyS14
Pankaj Pandey, Einar Arthur Snekkenes:
Using Prediction Markets to Hedge Information Security Risks. 129-145
- view
  authority control:
- export record
  dblp key:
  - conf/stm/RaniseT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/RaniseT14
Silvio Ranise, Riccardo Traverso:
ALPS: An Action Language for Policy Specification and Automated Safety Analysis. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/stm/SantiagoEMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/SantiagoEMM14
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. 162-177

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/stm/AliF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/AliF14
Asad Ali, Maribel Fernández:
Hybrid Enforcement of Category-Based Access Control. 178-182
- view
  authority control:
- export record
  dblp key:
  - conf/stm/BackesGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/BackesGK14
Michael Backes, Niklas Grimm, Aniket Kate:
Lime: Data Lineage in the Malicious Environment. 183-187
- view
  authority control:
- export record
  dblp key:
  - conf/stm/CanovaVBB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/CanovaVBB14
Gamze Canova, Melanie Volkamer, Clemens Bergmann, Roland Borza:
NoPhish: An Anti-Phishing Education App. 188-192
- view
  authority control:
- export record
  dblp key:
  - conf/stm/TormoMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/TormoMP14
Ginés Dólera Tormo, Félix Gómez Mármol, Gregorio Martínez Pérez:
ROMEO: ReputatiOn Model Enhancing OpenID Simulator. 193-197
- view
  authority control:
- export record
  dblp key:
  - conf/stm/JurneckaSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/JurneckaSM14
Filip Jurnecka, Martin Stehlík, Vashek Matyas:
Evaluation of Key Management Schemes in Wireless Sensor Networks. 198-203
- view
  authority control:
- export record
  dblp key:
  - conf/stm/Modesti14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/Modesti14
Paolo Modesti:
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. 204-208

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.