 | 2011 |
|---|
| 5 |       | Mohamed Azab,
Riham Hassan,
Mohamed Eltoweissy:
ChameleonSoft: A moving target defense system.
CollaborateCom 2011: 241-250 |
| 2010 |
|---|
| 4 | | Riham Hassan,
Mohamed Eltoweissy,
Shawn A. Bohner,
Sherif El-Kassas:
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements.
IET Software 4(2): 149-160 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page