%0 Journal Article %T Software Security Modeling Based on Petri Nets %A Mohsenzadeh, A. %J Journal of Mathematics and Computer Science %D 2015 %V 15 %N 1 %@ ISSN 2008-949X %F Mohsenzadeh2015 %X Nowadays, mostly security solutions are mainly focused on how to defend against various threats, including insider threats and outsider threats, instead of trying to solve security issues from their sources. This paper proposes a security modeling process and an approach to modeling and quantifying component security based on Petri Nets (PN) in the software design phase. Security prediction in the design phase provides the possibility to investigate and compare different solutions to the target system before realization. The analysis results can be used to trace back to the critical part for security enhancing. %9 journal article %R 10.22436/jmcs.015.01.06 %U http://dx.doi.org/10.22436/jmcs.015.01.06 %P 70-77