Engineering Secure Software and Systems

Beschreibung

This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.
State of the art research Up to date results Fast track conference proceedings

Autor*in

Jan Jürjens

Themen in »Engineering Secure Software and Systems«

authorization protocols privacy program verification security policies security-critical systems

Stimmen zu »Engineering Secure Software and Systems«

Details

Link teilen