Choi Jin-Young
Weatherford College(US)
Publications by Year
Research Areas
Advanced Authentication Protocols Security, Digital Rights Management and Security, Cloud Computing and Resource Management, Business Process Modeling and Analysis, Access Control and Trust
Most-Cited Works
- → A Study of Security Checks for Android Least Privilege - focusing on mobile financial services -(2016)
- Formal Specification and Verification for S/KEY Against Dictionary Attack(2004)
- Statemate-modulization of reusable software component(2006)
- ABAP Programing for SW security of SAP GUI(2014)
- → Security considerations for telemedicine systems(2020)
- Formal Methodology for Safety Analysis of Security Protocols(2005)