Cover Image

Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Security and Trust Management, STM 2012, held in Pisa, Italy, in September 2012 - in conjunction with the 17th European Symposium Research in Computer Security (ESORICS 2012). The 20 revise...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Js̜ang, Audun. (Editor), Samarati, Pierangela. (Editor), Petrocchi, Marinella. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science, 7783
Subjects:
Computer science.
Data protection.
Data encryption (Computer science).
Information Systems.
Computer Science.
Systems and Data Security.
Management of Computing and Information Systems.
Data Encryption.
Computer Science, general.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-38004-4
Table of Contents:
  • Policy Enforcement and Monitoring
  • Cost-Aware Runtime Enforcement of Security Policies
  • Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors
  • Lazy Security Controllers
  • Access Control
  • Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
  • Labeled Goal-Directed Search in Access Control Logic
  • A Use-Based Approach for Enhancing UCON
  • Analysis of Communicating Authorization Policies
  • Trust, Reputation, and Privacy Building Trust and Reputation In: A Development Framework for Trust Models Implementation
  • Matrix Powers Algorithms for Trust Evaluation in Public-Key Infrastructures
  • Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy
  • Distributed Systems and Physical Security
  • Switchwall: Automated Topology Fingerprinting and Behavior Deviation Identification
  • DOT-COM: Decentralized Online Trading and COMmerce
  • Formalizing Physical Security Procedures
  • Authentication
  • A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items
  • Authenticating Email Search Results
  • Software Authentication to Enhance Trust in Body Sensor Networks
  • YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
  • Security Policies
  • Boosting Model Checking to Analyse Large ARBAC Policies
  • Constrained Role Mining
  • A Datalog Semantics for Paralocks.

Similar Items