This book is based on material presented at the international summer school on Applied Semantics ...

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

Personal Security Device.- Privacy Analysis.- Linked Data.- Secure logs.- Information Security.- ...

Trustworthy Global Computing.- Elimination of Ghost Variables in Program Logics.- Web Service Com...

Mobile Resource Guarantees for Smart Devices.- History-Based Access Control and Secure Informatio...