luca viganò

Tests and Proofs

This book constitutes the refereed proceedings of the 7th International Conference on Test and Pr...

Foundations and Applications of Security Analysis

topics including formal specification, analysis and design of security protocols and their applic...

Principles of Security and Trust

This book constitutes the proceedings of the 5th International Conference on Principles of Securi...

The Morphology of Urban Landscapes

The urban morphology investigates settlement and urban forms. These do not change overnight, but ...

Socio-Technical Aspects in Security and Trust

This book constitutes the refereed post-conference proceedings of the 10th International Workshop...

Morphologie von Stadtlandschaften

Die Stadtmorphologie untersucht Siedlungs- und Stadtformen. Diese verändern sich nicht von heute ...

The Morphology of Urban Landscapes

In The Morphology of Urban Landscapes, author André Bideau explores the intricate relationship be...

Labelled Deduction

Labelled Non-Classical Logics

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

Socio-Technical Aspects in Security

This book constitutes revised selected papers from the refereed conference proceedings of the 11t...

Labelled Deduction

Labelled deduction is an approach to providing frameworks forpresenting and using different log...

Labelled Deduction

Labelled deduction is an approach to providing frameworks forpresenting and using different log...