Embedded Java Security

P Java brings more functionality and versatility to the world of mobile devices, but it also int...

Verification and Validation in Systems Engineering

At the dawn of the 21st century and the information age, communication and c- puting power are be...

Cloud Security Auditing

This book provides a comprehensive review of the most up to date research related to cloud s...

Binary Code Fingerprinting for Cybersecurity

This book addresses automated software fingerprinting in binary code, especially for cyberse...

Aspect-Oriented Security Hardening of UML Design Models

This book comprehensively presents a novel approach to the systematic security hardening of so...

Aspect-Oriented Security Hardening of UML Design Models

Embedded Java Security

Java brings more functionality and versatility to the world of mobile devices, but it also introd...

Embedded Java Security

Java brings more functionality and versatility to the world of mobile devices, but it also introd...

Aspect-Oriented Security Hardening of UML Design Models

This book comprehensively presents a novel approach to the systematic security hardening of softw...

Verification and Validation in Systems Engineering

At the dawn of the 21st century and the information age, communication and c- puting power are be...

Verification and Validation in Systems Engineering

At the dawn of the 21st century and the information age, communication and c- puting power are be...

Foundations and Practice of Security

This book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations...