Riham Hassan

List of publications from the DBLP Bibliography Server - FAQ

2009

2 EE 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 EE 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

2009
2	EE	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	EE	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

Coauthor Index

1	Shawn A. Bohner	[1] [2]
2	Sherif El-Kassas	[1] [2]
3	Mohamed Eltoweissy	[1]
4	Michael G. Hinchey (Mike Hinchey)	[2]