FRIARS: a feedback control system for information assurance using a Markov decision process | IEEE Conference Publication | IEEE Xplore