https://catalogue-scientifique.canada.ca/record=2160566~S6*frc
naval research lab washington dc, 1992
Using classical automata theory we show how noninterference can be viewed as a relatively simple phenomenon. We also give direction for future work concerning...
Publication gouvernementale