Riham Hassan et al.: Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements. (2008)conf/IEEEares/HassanBEE0810.1109/ARES.2008.77Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.4Riham Hassan1Shawn A. Bohner2Sherif El-Kassas3Mohamed Eltoweissy41443-1450ARESARES20082008provenance information for RDF data of dblp record 'conf/IEEEares/HassanBEE08'2023-03-24T00:03:48+0100