Formal to Practical Security - Cortier, Véronique; Kanade, Takeo; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki (Springer Berlin Heidelberg, 2009)