Formal Aspects in Security and Trust

A reference for both academic and professional researchers in the field of security and trust. The papers presented in this volume address the challenges posed by "ambient intelligence space" as a future paradigm and the need for a set of concepts, tools and methodologies to enable the user's trust in the underlying computing infrastructure.