alessandro aldini

A Process Algebraic Approach to Software Architecture Design

Concurrency theory, software architecture, system modeling and verification, and dependability an...

Foundations of Security Analysis and Design VI

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

User-Centric Networking

This work represents a milestone for the  'ULOOP User-centric Wireless Local Loop' project funded...

Formal Methods for Quantitative Aspects of Programming Languages

Foundations of Security Analysis and Design VIII

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

This book constitutes the revised selected papers of the 9th International Workshop on Data Priva...

Data Privacy Management and Security Assurance

This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy...

Computer Performance Engineering

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...

Foundations of Security Analysis and Design

The increasing relevance of security to real-life applications, such as electronic commerce, is a...

Foundations of Security Analysis and Design VII

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Foundations of Security Analysis and Design V

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Foundations of Security Analysis and Design III

The increasing relevance of security to real-life applications, such as electronic commerce and I...