Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. - Busalire Onesmus Emeka; Shaoying Liu (QRS, 2017)

A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. - Busalire Onesmus Emeka; Shaoying Liu (SOFL+MSVL, 2019)

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. - Busalire Onesmus Emeka; Soichiro Hidaka; Shaoying Liu (SOFL+MSVL, 2020)

A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL. - Busalire Onesmus Emeka; Soichiro Hidaka; Shaoying Liu (IEICE Trans. Inf. Syst., 2023)