Reasoning about knowledge in multilevel secure distributed systems | IEEE Conference Publication | IEEE Xplore