Author: Sherif El-Kassas

Sherif El-Kassas

Sherif El-Kassas

Publications

Publication period start: 2009
Publication period end: 2009
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Riham Hassan
1
Shawn A. Bohner
1
Michael G. Hinchey
1

Productive Colleagues

Most productive colleagues in number of publications
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. http://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. http://dx.doi.org/10.1109/HICSS.2009.267