Availability, Reliability, and Security in Information Systems and HCI - Cuzzocrea (Springer Berlin Heidelberg, 2013)