Busalire Onesmus Emeka

According to our database, Busalire Onesmus Emeka authored at least 4 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., May, 2023

2020

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL.

Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications.

Busalire Onesmus Emeka, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2017

Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications.

Busalire Onesmus Emeka, Shaoying Liu

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017