Security and Trust Management : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Audun Jøsang, Pierangela Samarati, Marinella Petrocchi.

Format:

Book

Contributor:

Jøsang, Audun, editor.

Samarati, Pierangela, editor.

Petrocchi, Marinella, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Security and cryptology ; SL 4, 7783.

Security and Cryptology ; 7783

Language:

English

Subjects (All):

Computer security.

Management information systems.

Computer science.

Data encryption (Computer science).

Systems and Data Security.

Management of Computing and Information Systems.

Cryptology.

Computer Science, general.

Local Subjects:

Systems and Data Security.

Management of Computing and Information Systems.

Cryptology.

Computer Science, general.

Physical Description:

1 online resource (X, 321 pages) : 74 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

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 revised full papers were carefully reviewed and selected from 57 submissions. The papers are organized into topical sections on policy enforcement and monitoring; access control; trust, reputation, and privacy; distributed systems and physical security; authentication and security policies.

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.

Other Format:

Printed edition:

ISBN:

978-3-642-38004-4

9783642380044

Access Restriction:

Restricted for use by site license.