Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings / edited by Sjouke Mauw, Christian Damsgaard Jensen.

Format:

Book

Contributor:

Mauw, S., editor.

Damsgaard Jensen, Christian, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

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

Security and Cryptology ; 8743

Language:

English

Subjects (All):

Computer security.

Management information systems.

Computer science.

Electronic commerce.

Data encryption (Computer science).

Systems and Data Security.

Management of Computing and Information Systems.

e-Commerce/e-business.

Cryptology.

Local Subjects:

Systems and Data Security.

Management of Computing and Information Systems.

e-Commerce/e-business.

Cryptology.

Physical Description:

1 online resource (X, 210 pages) : 36 illustrations.

Edition:

First edition 2014.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2014.

System Details:

text file PDF

Summary:

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.

Contents:

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

Privacy Architectures: Reasoning About Data Minimisation and Integrity

Monotonicity and Completeness in Attribute-based Access Control

Caching and Auditing in the RPPM Model

BlueWallet: The Secure Bitcoin Wallet

Ensuring Secure Non-interference of Programs by Game Semantics

Stateful Usage Control for Android Mobile Devices

A Formal Model for Soft Enforcement

Using Prediction Markets to Hedge Information Security Risks

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

A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA

Hybrid Enforcement of Category-Based Access Control

Lime: Data Lineage in the Malicious Environment

NoPhish - An Anti-Phishing Education App

ROMEO: Reputation Model Enhancing OpenID Simulator

Evaluation of key management schemes in wireless sensor networks

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

Other Format:

Printed edition:

ISBN:

978-3-319-11851-2

9783319118512

Access Restriction:

Restricted for use by site license.