Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings: Lecture Notes in Computer Science, cartea 7159

Adresat cercetătorilor și arhitecților de sisteme, volumul Engineering Secure Software and Systems reprezintă o resursă tehnică densă ce documentează progresele înregistrate în ingineria securității software la nivelul anului 2012. Suntem de părere că valoarea acestui volum rezidă în echilibrul dintre rigoarea academică și explorarea teoretică, oferind atât rezultate de cercetare validate, cât și perspective noi prin intermediul secțiunii dedicate „idea papers”. Găsim în această carte o abordare sistemică a securității, care nu este tratată ca un element adăugat ulterior, ci ca o componentă intrinsecă a procesului de dezvoltare.

Structura celor 14 lucrări selectate reflectă o preocupare constantă pentru metodele formale, o temă centrală și în alte lucrări coordonate de Gilles Barthe, precum Software Engineering and Formal Methods sau Formal Aspects of Security and Trust. Dacă în lucrările sale anterioare accentul cădea pe fundamentele matematice ale programării, aici editorii prioritizează aplicabilitatea acestora în contextul securității software-ului modern.

Complementar volumului Engineering Secure Future Internet Services and Systems, care se concentrează pe servicii bazate pe internet în cadrul proiectului NESSoS, lucrarea de față acoperă o zonă mai largă a ingineriei sistemelor, punând accent pe faza de proiectare și pe expunerea concisă a ideilor inovatoare aflate la început de drum. Ritmul este unul academic, cu un ton neutru și axat pe date, specific seriei Lecture Notes in Computer Science. Deși este o publicație de conferință, densitatea informației și calitatea procesului de peer-review fac din aceasta o referință solidă pentru cei care studiază evoluția mecanismelor de apărare în arhitectura software.