Yves Ledru, Akram Idani, Jean-Luc Richier. Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 6-12, IEEE, 2015. [doi]
Abstract is missing.