Noninterference equations for nondeterministic systems | IEEE Conference Publication | IEEE Xplore