An information system security dynamic assessment method using stochastic Petri net based on business flow | IEEE Conference Publication | IEEE Xplore