Probabilistic and deterministic analysis the security of information systems | IEEE Conference Publication | IEEE Xplore