Shared resource matrix methodology: A practical approach to identifying covert channels (1981)

by R A KEMMERER