Formal Aspects in Security and Trust

Trust Management VI

Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise

Formal aspects in security and trust

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Trust Management Vi 6th Ifip Wg 1111 International Conference Ifiptm 2012 Surat India May 2125 2012 Proceedings

Formal Aspects in Security and Trust

Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise: A selection of common capabilities validated in real-life business trials by the BEinGRID consortium