Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided b...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Shahrood University of Technology
2015-01-01
|
Series: | Journal of Artificial Intelligence and Data Mining |
Subjects: | |
Online Access: | http://jad.shahroodut.ac.ir/article_357_5573e6f68ba683993bae98b6dbd30914.pdf |