• Produktbild: Engineering Secure Software and Systems
  • Produktbild: Engineering Secure Software and Systems

Engineering Secure Software and Systems First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings

Aus der Reihe Security and Cryptology

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.01.2009

Herausgeber

Fabio Massacci + weitere

Verlag

Springer Berlin

Seitenzahl

201

Maße (L/B/H)

23.5/15.5/1.2 cm

Gewicht

332 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00198-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.01.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

201

Maße (L/B/H)

23.5/15.5/1.2 cm

Gewicht

332 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00198-7

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
  • Produktbild: Engineering Secure Software and Systems
  • Policy Verification and Enforcement.- Verification of Business Process Entailment Constraints Using SPIN.- From Formal Access Control Policies to Runtime Enforcement Aspects.- Idea: Trusted Emergency Management.- Model Refinement and Program Transformation.- Idea: Action Refinement for Security Properties Enforcement.- Pattern-Based Confidentiality-Preserving Refinement.- Architectural Refinement and Notions of Intransitive Noninterference.- Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations.- Secure System Development.- Report: Measuring the Attack Surfaces of Enterprise Software.- Report: Extensibility and Implementation Independence of the .NET Cryptographic API.- Report: CC-Based Design of Secure Application Systems.- Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer.- Attack Analysis and Prevention.- Toward Non-security Failures as a Predictor of Security Faults and Failures.- A Scalable Approach to Full Attack Graphs Generation.- MEDS: The Memory Error Detection System.- Testing and Assurance.- Idea: Automatic Security Testing for Web Applications.- Report: Functional Security Testing Closing the Software – Security Testing Gap: A Case from a Telecom Provider.- Idea: Measuring the Effect of Code Complexity on Static Analysis Results.