Advances in Mathematical LogicToshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka · First published 2021Open the Tome
Formal to Practical SecurityMitsuhiro Okada,Claude Kirchner,V. Ronique Cortier · First published 2009Open the Tome
Formal to Practical SecurityVéronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada · First published 2009Open the Tome
Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese CollaborationMitsuhiro Okada · First published 2009Open the Tome
Software Security -- Theories and SystemsMitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa · First published 2003Open the Tome
