"This book provides coverage of recent advances in the area of secure software engineering that address the various stages of the development process from requi

"This book provides coverage of recent advances in the area of secure software engineering that address the various stages of the development process from requi

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, German

In modern electoral processes, Information and Communication Technologies play a crucial role, whether used in voter registration, ballot casting, or processing

This book provides a coherent overview of the most important modelling-related security techniques available today, and demonstrates how to combine them. Furthe