Author: Sherif El-Kassas

Publications

Co-authors

Riham Hassan

1

Shawn A. Bohner

1

Michael G. Hinchey

1

Productive Colleagues

Riham Hassan

1

Shawn A. Bohner

3

Michael G. Hinchey

12

Publications

Ali, Yomna, El-Kassas, Sherif, Mahmoud, Mohy (2009): A Rigorous Methodology for Security Architecture Modeling and Verification. In: HICSS 2009 - 42st Hawaii International International Conference on Systems Science 5-8 January, 2009, Waikoloa, Big Island, HI, USA. pp. 1-10. https://dx.doi.org/10.1109/HICSS.2009.35

Hassan, Riham, Bohner, Shawn A., El-Kassas, Sherif, Hinchey, Michael G. (2009): Integrating Formal Analysis and Design to Preserve Security Properties. In: HICSS 2009 - 42st Hawaii International International Conference on Systems Science 5-8 January, 2009, Waikoloa, Big Island, HI, USA. pp. 1-10. https://dx.doi.org/10.1109/HICSS.2009.267