Komminist Weldemariam, Adolfo Villafiorita. Procedural security analysis: A methodological approach. Journal of Systems and Software, 84(7):1114-1129, 2011. [doi]
@article{WeldemariamV11, title = {Procedural security analysis: A methodological approach}, author = {Komminist Weldemariam and Adolfo Villafiorita}, year = {2011}, doi = {10.1016/j.jss.2011.01.064}, url = {http://dx.doi.org/10.1016/j.jss.2011.01.064}, tags = {analysis, security, systematic-approach}, researchr = {https://researchr.org/publication/WeldemariamV11}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {84}, number = {7}, pages = {1114-1129}, }