Author of the publication

A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL.

, , and . IEICE Trans. Inf. Syst., 106 (5): 986-1000 (May 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SOFL Specification Animation with Tool Support., and . SOFL+MSVL, volume 8332 of Lecture Notes in Computer Science, page 118-131. Springer, (2013)Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution., and . QRS Companion, page 205-212. IEEE, (2019)Automated Functional Scenarios-Based Formal Specification Animation., and . APSEC, page 107-115. IEEE, (2012)A user-friendly formal requirements specification method.. ACM Southeast Regional Conference, page 211-218. ACM, (1992)A Formal Approach to Secure Design of RESTful Web APIs Using SOFL., , and . SOFL+MSVL, volume 12723 of Lecture Notes in Computer Science, page 105-125. Springer, (2020)A Rigorous Method for Inspection of Model-Based Formal Specifications., , and . IEEE Trans. Reliab., 59 (4): 667-684 (2010)ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems., , , , , , and . IEEE Trans. Reliab., 72 (1): 317-328 (March 2023)Integrating Prototyping into the SOFL Three-Step Modeling Approach., and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 163-178. Springer, (2011)An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.. ATVA, volume 3299 of Lecture Notes in Computer Science, page 15-19. Springer, (2004)A Software Tool to Support Scenario-Based Formal Specification for Error Prevention., and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 187-199. Springer, (2017)