Produktbild: Engineering Secure Software and Systems

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

Aus der Reihe Security and Cryptology

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.01.2013

Abbildungen

XII, 40 illus., schwarz-weiss Illustrationen

Herausgeber

Jan Jürjens + weitere

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

377 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36562-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.01.2013

Abbildungen

XII, 40 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

377 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36562-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.