Author: Sherif El-Kassas
Publication Overview
Publication period start: 2009
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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