Produktbild: Engineering Secure Software and Systems
Band 7781

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Aus der Reihe Security and Cryptology

Fr. 69.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.01.2013

Abbildungen

XII, 231 p. 40 illus.

Herausgeber

Jan Jürjens + weitere

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23.5/15.5/1.4 cm

Gewicht

376 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36562-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.01.2013

Abbildungen

XII, 231 p. 40 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23.5/15.5/1.4 cm

Gewicht

376 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36562-1

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)

  • Produktbild: Engineering Secure Software and Systems
  • Control-Flow Integrity in Web Applications Using Security Policies to Automate Placement of Network Intrusion Prevention.- Idea: Callee-Site Rewriting of Sealed System Libraries.- Towards Unified Authorization for Android.- Model-Based Usage Control Policy Derivation.- Compositional Verification of Application-Level Security Properties.- Towards Verifying Voter Privacy through Unlinkability.- Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.- A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer.- DKAL: Constructing Executable Specifications of Authorization Protocols.- A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic services.- Idea: Writing Secure C Programs with SecProve.- Anatomy of Exploit Kits: Preliminary Analysis of Exploit Kits as Software Artefacts.- An Empirical Study on the Effectiveness of Security Code Review.- Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming.