An analytical framework for reasoning about intrusions | IEEE Conference Publication | IEEE Xplore