%0 Conference Paper %1 conf/sofl/EmekaHL20 %A Emeka, Busalire Onesmus %A Hidaka, Soichiro %A Liu, Shaoying %B SOFL+MSVL %D 2020 %E Xue, Jinyun %E Nagoya, Fumiko %E Liu, Shaoying %E Duan, Zhenhua %I Springer %K dblp %P 105-125 %T A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2020.html#EmekaHL20 %V 12723 %@ 978-3-030-77474-5

@inproceedings{conf/sofl/EmekaHL20, added-at = {2021-06-14T00:00:00.000+0200}, author = {Emeka, Busalire Onesmus and Hidaka, Soichiro and Liu, Shaoying}, biburl = {https://www.bibsonomy.org/bibtex/22d43bf6e75dc404c72e27bc0f37f3cbf/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2020}, editor = {Xue, Jinyun and Nagoya, Fumiko and Liu, Shaoying and Duan, Zhenhua}, ee = {https://doi.org/10.1007/978-3-030-77474-5_8}, interhash = {16e6ce9789378bcc42baddb840385bb3}, intrahash = {2d43bf6e75dc404c72e27bc0f37f3cbf}, isbn = {978-3-030-77474-5}, keywords = {dblp}, pages = {105-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:59:58.000+0200}, title = {A Formal Approach to Secure Design of RESTful Web APIs Using SOFL.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2020.html#EmekaHL20}, volume = 12723, year = 2020 }