Formal to Practical SecurityVéronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada · First published 2009Open the Tome