Recognizing and dealing with storage and timing channels when performing the security analysis of a computer system is an elusive task. Methods for discovering and dealing with these channels have mostly been informal, and formal methods have been restricted to a particular specification language.
No takes yet. Share an insight, caveat, or question.
Richard A. Kemmerer (1983) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: