Manachai Toahchoodee and Indrakshi Ray, “Using Alloy to Analyze a Spatio–
Temporal Access. Control Model Supporting Delegation”, To appear in IET ...
Curriculum Vitae MANACHAI TOAHCHOODEE Office Address:
Office Phone: Office Fax: Email Address: Homepage:
Computer Science Department 1873 Campus Delivery Colorado State University Fort Collins, CO 80523–1873 (970) 491–7990 (970) 491–2466
[email protected] http://www.cs.colostate.edu/˜toahchoo
Education August 2004 – Present October 1998 – September 2000 March 1993 – March 1997
Home Address:
1500 W.Plum St, Apt.7E Fort Collins, CO 80521
Home Phone: Cell Phone:
(970) 492–9522 (970) 232–5059
Ph.D. Student, Colorado State University M.S. in Information Technology, King Mongkut’s University of Technology Thonburi, Thailand B.S. in Mathematics, King Mongkut’s Institute of Technology Thonburi, Thailand
Research interests • Spatio-Temporal Access Control Models • Modeling and Analysis of Access Control Models • Aspect-Oriented Secure Software Development Publications Refereed journal articles 1. Manachai Toahchoodee and Indrakshi Ray, “Using Alloy to Analyze a Spatio–Temporal Access Control Model Supporting Delegation”, To appear in IET Information Security. 2. Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, and Siv Hilde Houmb, “An Aspect Oriented Methodology for Designing Secure Applications”, Information and Software Technology – Special Issue on Model Based Development for Secure Information Systems , 51(5), May 2009. Under review articles 3. Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray and Manachai Toahchoodee, “Verification and Trade-off Analysis of Security Properties in UML System Models”, submitted to IEEE Transactions on Software Engineering – submitted second revision with minor changes. 4. Manachai Toahchoodee and Indrakshi Ray, “On the Formalization and Analysis of a SpatioTemporal Role-Based Access Control Model”, submitted to Journal of Computer Security – undergoing first revision with major changes. Refereed conference articles 5. Manachai Toahchoodee, Xing Xie and Indrakshi Ray, “Towards Trustworthy Delegation in Role– Based Access Control Models”, in Proceedings of the 12th Information Security Conference (ISC 2009) , Pisa, Italy, September 2009. (Acceptance ratio 29/105)
MANACHAI TOAHCHOODEE
CURRICULUM VITAE
2
6. Manachai Toahchoodee, Ramadan Abdunabi, Indrakshi Ray and Indrajit Ray, “A Trust-Based Access Control Model for Pervasive Computing Systems”, in Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2009), Montreal, Canada, July 2009. (Acceptance ratio 23/41) 7. Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg and Behzad Bordbar, “Ensuring Spatio-Temporal Access Control for Real- World Applications”, in Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT 2009), Stresa, Italy, June 2009. (Acceptance ratio 24/75) 8. Indrakshi Ray and Manachai Toahchoodee, “A Spatio–Temporal Role–Based Access Control Model Supporting Delegations for Pervasive Computing Applications”, in Proceedings of the 5th International Conference on Trust, Privacy and Security in Digital Business (TrustBus 2008), Turin, Italy, September 2008. (Acceptance ratio 18/34) 9. Manachai Toahchoodee and Indrakshi Ray, “On the Formal Analysis of a Spatio–Temporal Role–Based Access Control Model”, in Proceedings of the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2008), London, U.K., July 2008. (Acceptance ratio 22/56) 10. Indrakshi Ray and Manachai Toahchoodee, “A Spatio–Temporal Role–Based Access Control Model”, in Proceedings of the 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2007), Redondo Beach, California, July 2007. (Acceptance ratio 18/44) 11. Manachai Toahchoodee and Indrakshi Ray, “Validation of Policy Integration using Alloy”, in Proceedings of the 2nd International Conference on Distributed Computing and Internet Technology (ICDCIT 2005), Bhubaneswar, India, December 2005. (Acceptance ratio for long papers 45/426) Articles in progress 12. A Graph Theoretic Representation of a Spatio-Temporal Role-Based Access Control Model Supporting Delegation. 13. A Spatio-Temporal Role-Based Access Control Model for Workflow. 14. Verification and Trade-off Analysis of Security Properties in UML System Models. 15. A Verification of Trust-Based Access Control Model 16. A Dynamic Verification of Spatio-Temporal Role-Based Access Control Model. Professional activities Presentations “A Spatio–Temporal Role–Based Access Control Model”, The 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, California, July 2007. Ad–hoc reviewing 1. The 5th International Conference on Information Systems Security (ICISS 2009), 2009 2. The 12th Information Security Conference (ISC 2009), 2009 3. WS SPattern ’09, 2009 4. The 7th International Workshop on Security In Information Systems (WOSIS 2009), 2009 5. IET Information Security, 2009
MANACHAI TOAHCHOODEE
CURRICULUM VITAE
3
6. The 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2009), 2009 7. ACM Symposium on Access Control Models and Technologies (SACMAT 2009), 2009 8. The 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), 2008 9. The 19th IEEE Computer Security Foundations Workshop, 2006 Experience Research experience August 2005 – Present Working experience August 2003 – May 2004 June 2002 – July 2003 May 1997 – May 2002
Research Assistant–Colorado State University Senior Analyst–IBM Solutions Delivery Co., Ltd., Thailand System Analyst–Aventis Pharma Co., Ltd., Thailand Assistant System Analyst–Technology and Software Solution Co., Ltd., Thailand
References Dr. Indrakshi Ray, Associate Professor Computer Science Department Colorado State University Fort Collins, CO 80523 Phone: (970) 491–7986 Email:
[email protected] Dr. Indrajit Ray, Associate Professor Computer Science Department Colorado State University Fort Collins, CO 80523 Phone: (970) 491–7097 Email:
[email protected] Dr. Stephen C. Hayne, Professor Computer Information Systems Department Colorado State University Fort Collins, CO 80523 Phone: (970) 491–7511 Email:
[email protected] Dr. Yashwant K. Malaiya, Professor Computer Science Department Colorado State University Fort Collins, CO 80523 Phone: (970) 491–7031 Email:
[email protected]
