Web service security, trusted operating systems, formal methods, and distributed systems.
Currently, I am involved in the following projects;
- Assisted Living Security
- Assisted Living
News
- Presented a poster at Midwest Security Workshop (MSW 06)
(.pdf)
Selected Publications
(* The file formats of the selected documents are "PDF" or "PS".)
+ Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee,
"Securing the Drop-Box Architecture for Assisted Living, (to be published),"
The 4th ACM Workshop on Formal Methods in Security Engineering, 2006.
(.pdf)
+ Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. Alshebli, Marco
Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer Hou, Karrie Karahalios, and Lui Sha,
"ILiving: An Open System Architecture for Assisted Living," (invited paper, to be
published) in Proc. of IEEE SMC 2006.
(.pdf)
+ Wook Shin, Jeong-Gun Lee, Hong Kook Kim, and Kouichi Sakurai,
"Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling,"
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science,
Vol.E88-A, No.1, pp. 327-330, Jan. 2005.
(IEICE web)
+ Wook SHIN, Jong-Youl PARK, Dong-Ik LEE,
"Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems,"
IEICE Transactions on Information Systems, Vol.E88-D, No.3, pp.619, Mar. 2005.
(IEICE web)
+ Wook Shin, Hong Kook Kim, and Kouichi Sakurai,
"An Implementation of Extended-Role Based Access Control on an Embedded System",
Computer Security Symposium 2004 (CSS 2004).
(.pdf)
+ W. Shin, D.-I. Lee, S.-H. Yoon,
"Role-Behavior Access Control on Mobile Agent System for Workflow Management System,"
Journal of Korea Institute of Seucrity and Cryptology, Vol. 10, No 3, pp. 11-27, Sep. 2000.
