 | 2009 |
|---|
| 3 |       | Riham Hassan,
Mohamed Eltoweissy,
Shawn A. Bohner,
Sherif El-Kassas:
Goal-Oriented Software Security Engineering: The Electronic Smart Card Case Study.
CSE (3) 2009: 213-218 |
| 2 | | Riham Hassan,
Shawn A. Bohner,
Sherif El-Kassas,
Michael G. Hinchey:
Integrating Formal Analysis and Design to Preserve Security Properties.
HICSS 2009: 1-10 |
| 2008 |
|---|
| 1 | | Riham Hassan,
Shawn A. Bohner,
Sherif El-Kassas,
Mohamed Eltoweissy:
Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.
ARES 2008: 1443-1450 |
