I-Living: An open system architecture for assisted living Q Wang, W Shin, X Liu, Z Zeng, C Oh, BK AlShebli, M Caccamo, ... 2006 IEEE International Conference on Systems, Man and Cybernetics 5, 4268-4275, 2006 | 129 | 2006 |
A formal model to analyze the permission authorization and enforcement in the android framework W Shin, S Kiyomoto, K Fukushima, T Tanaka 2010 IEEE Second International Conference on Social Computing, 944-951, 2010 | 115 | 2010 |
A small but non-negligible flaw in the android permission scheme W Shin, S Kwak, S Kiyomoto, K Fukushima, T Tanaka 2010 IEEE International Symposium on Policies for Distributed Systems and …, 2010 | 91 | 2010 |
Towards formal analysis of the permission-based security model for android W Shin, S Kiyomoto, K Fukushima, T Tanaka 2009 Fifth International Conference on Wireless and Mobile Communications, 87-92, 2009 | 77 | 2009 |
Pas: A wireless-enabled, sensor-integrated personal assistance system for independent and assisted living JC Hou, Q Wang, BK AlShebli, L Ball, S Birge, M Caccamo, CF Cheah, ... 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007 | 48 | 2007 |
Extended BLP security model based on process reliability for secure Linux kernel JM Kang, W Shin, CG Park, DI Lee Proceedings 2001 Pacific Rim International Symposium on Dependable Computing …, 2001 | 21 | 2001 |
PAS: A wireless-enabled, cell-phone-incorporated personal assistant system for independent and assisted living Z Zeng, S Yu, W Shin, JC Hou 2008 The 28th International Conference on Distributed Computing Systems, 233-242, 2008 | 18 | 2008 |
Securing the drop-box architecture for assisted living MJ May, W Shin, CA Gunter, I Lee Proceedings of the fourth ACM workshop on Formal methods in security, 1-12, 2006 | 17 | 2006 |
Extended role based access control with procedural constraints for trusted operating systems W Shin, JY Park, DI Lee IEICE transactions on information and systems 88 (3), 619-627, 2005 | 14 | 2005 |