Opacity with Orwellian Observers and Intransitive Non-interference

Re-assign community