• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings

Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings

Paperback

Business GeneralGeneral ComputersComputer Security

ISBN10: 3319118501
ISBN13: 9783319118505
Publisher: Springer
Published: Sep 22 2014
Pages: 210
Weight: 0.69
Height: 0.46 Width: 6.14 Depth: 9.21
Language: English

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.

Also in

Computer Security