Unwinding and inference control
Joseph A. Goguen, José Meseguer[doi] [Google Scholar] [DBLP] [Citeseer]
1984 IEEE Symposium on Security and Privacy
IEEE
Pages 75-75
1984
Topic(s): security
Note(s): information flow
IEEE
Pages 75-75
1984
Topic(s): security
Note(s): information flow