Defining noninterference in the temporal logic of actions | IEEE Conference Publication | IEEE Xplore