Ramadan Farag Abdunabi
-
I have earned a Ph.D. degree at Computer Science Department - Colorado State University,
January 2013.
- Email: rabdunab@cs.colostate.edu
- Phone: (970) 491 6275
- Research of Interest: Computer Security - Access Control
- Advisors: Dr. Ray Indrajit & Dr. Ray Indrakshi
Publications
-
Ramadan Abdunabi, Wuliang Sun, and Indrakshi Ray, "Enforcing Spatio-Temporal Access Control in Mobile Applications," in Springer Computing Journal, 2013. To Appear. (Accepted date, July 24, 2013).
-
Ramadan Abdunabi, Indrakshi Ray, and Robert France, "Specification and Analysis of Access Control Policies for Mobile Applications," in SACMAT, 2013. (Acceptance Ratio 19/62) .
-
Mustafa Al-Lail, Ramadan Abdunabi, Robert France, and Indrakshi Ray, “Rigorous Analysis of Temporal Access Control Properties in Mobile Systems”, Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 2013. (Acceptance ratio for all papers: 38/102).
-
Mustafa Al-Lail and Ramadan Abdunabi, "Validation of Temporal Properties in Spatio-Temporal Role-Based Access Control Systems," CyberSecurity for the Next Generation Conference, New York, USA, (15-17 November, 2012).
-
Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, and Robert France, “Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model,” IEEE Systems Journal, 2013. (Acceptance Ratio 28/123) .
-
Ramadan Abdunabi and Indrajit Ray "Extensions to the Role Based Access Control Model for Newer Computing Paradigms," Proceeding of the 2nd Annual CCWIC, Golden-Colorado, USA, November 4th and 5th, 2010.
-
Ramadan Abdunabi and Indrakshi Ray "A Comparison of Security Analysis Techniques for RBAC Models," Proceedings of the 2nd Annual CCWIC, Golden-Colorado, USA, November 4-5, 2010.
-
Manachai Toahchoodee, Ramadan Abdunabi, Indrakshi Ray and Indrajit Ray, "A Trust-Based Access Control Model for Pervasive Computing Systems," Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec), Montreal, Canada, July 2009. (Acceptance Ratio 23/41).
Submissions:
-
Paper, "Enforcing Spatio-Temporal Access Control in Mobile Applications," Submitted to Springer Journal, Dec 2012 - Accepted
-
Paper, "Validation of Temporal Properties in Spatio-Temporal Role-Based Access Control Systems," Submitted to ICECCS 2013, February 2013 - Accepted, to appear soon
-
Paper, "Specification and Analysis of Access Control Policies for Mobile Applications," Submitted to Conference of SACMAT, Jan 2013 - Accepted, to appear soon
-
Paper, An Approach to Specifying and Analyzing Temporal Properties in UML Class Models, Submitted to Conference of MODELS 2013, July 2013
-
I grow up in Benghazi - Libya
-
Bsc in Computer Science from University of Garyounis - Libya, 1995
-
I worked as a teaching assistant in the Computer Science Dept - University of Garyounis 1995 - 2001
-
M.S. in Computer Science from University of Twente - Netherlands, 2004
-
I worked as lecturer assistant in the Computer Science Dept - University of Garyounis 2004 - 2007
-
A Ph.D. student in the Computer Science Dept - Colorado State University Spring 2008
-
Member of Upsilon Pi Epsilon 2009
-
M.S. in Computer Science from Colorado State University - USA, 2010
-
A graduate teaching assistance (GTA) for undergraduate/graduate computer science course at Colorado State University (CSU), System Security (CS356), Computer Security (CS556), and Introduction to Compiler Construction (CS453). 2011 - present (2013)
-
A community coordinator (CC) at Apartment Life, Colorado State University, 2011 - present (2013)
-
Earned a Ph.D degree in Computer Science "Subject: Computer Security - Mobile Access Control Models," Colorado State University, USA, January 2013
Computer Science Department
279 Computer Science Building
1100 Center Avenue
Fort Collins, CO 80523
Office: CSB 3rd Floor, No: 335, Disk 8.