fabio martinelli

Formal Aspects in Security and Trust

International Federation for Information Processing

Methods of Contemporary Mathematical Statistical Physics

This volume presents a collection of courses introducing the reader to the recent progress with a...

Computer Security -- ESORICS 2012

This book constitutes the refereed proceedings of the 17th European Symposium on Computer Securit...

Public Key Infrastructures, Services and Applications

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...

Formal Aspects in Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the Third International Worksho...

ICT Systems Security and Privacy Protection

This book constitutes the refereed proceedings of the 32nd IFIP TC 11 International Conference on...

Trust Management VII

This book constitutes the refereed proceedings of the 7th IFIP WG 11.11 International Conference ...

Engineering Secure Future Internet Services and Systems

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results...

Data Privacy Management and Security Assurance

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

Formal Aspects in Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Worksh...