Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance | IEEE Conference Publication | IEEE Xplore