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

Service-Oriented Infrastructures including Grid and Cloud Computing are technologies in a critica...

Second International Workshop on Formal Aspects in Security and Trust is an essential reference f...

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

Strategic Games on Defense Trees.- Timed Calculus of Cryptographic Communication.- A Semantic Par...

Keynote Addresses.- Addressing the Data Problem: The Legal Framework Governing Forensics in an On...

This book describes cyber-security issues underpinning several cyber-physical systems and several...

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

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

Second International Workshop on Formal Aspects in Security and Trust is an essential reference f...

Service-Oriented Infrastructures including Grid and Cloud Computing are technologies in a critica...

Deals with collaborative security, a newly developing and promising field.Describes generic t...