Verification and synthesis for secrecy in discrete-event systems | IEEE Conference Publication | IEEE Xplore