Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti. Formalising Security in Ubiquitous and Cloud Scenarios. In Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir T. Wierzchon, editors, Computer Information Systems and Industrial Management - 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings. Volume 7564 of Lecture Notes in Computer Science, pages 1-29, Springer, 2012. [doi]
Abstract is missing.