Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study | IEEE Conference Publication | IEEE Xplore