S. Bohner

Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements

M. Eltoweissy, R. Hassan, S. Bohner, 2008, 2008 Third International Conference on Availability, Reliability and Security.