Engineering Secure Software and Systems

Fabio Massacci

ISBN 10: 364200198X / ISBN 13: 9783642001987

Verlag: Springer Berlin Heidelberg Jan 2009, 2009

Beschreibung

This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance. 212 pp. Englisch.

Bestandsnummer des Verkäufers 9783642001987

Bibliografische Details

• Titel: Engineering Secure Software and Systems
• Verlag: Springer Berlin Heidelberg Jan 2009
• Erscheinungsjahr: 2009
• Sprache: Englisch
• ISBN-10: 364200198X
• ISBN-13: 9783642001987
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009. The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.