A logic of knowledge and belief for reasoning about computer security | IEEE Conference Publication | IEEE Xplore