Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study.

Yves Ledru, Akram Idani, Jean-Luc Richier

Browse the full ICSE paper archive.