KI-Beratung Beta

Produktbild: Security and Trust Management
Band 8743

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

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.09.2014

Abbildungen

X, 210 p. 36 illus.

Herausgeber

Sjouke Mauw + weitere

Verlag

Springer

Seitenzahl

210

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

341 g

Sprache

Englisch

ISBN

978-3-319-11850-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.09.2014

Abbildungen

X, 210 p. 36 illus.

Herausgeber

Verlag

Springer

Seitenzahl

210

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

341 g

Sprache

Englisch

ISBN

978-3-319-11850-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Die Leseprobe wird geladen.
  • Produktbild: Security and Trust Management
  • 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.