Case studies in secure computing : achievements and trends /: achievements and trends. (2014)