Formal methods and automated tool for timing-channel identification in TCB source code (1992)

by J He, V Gligor
Venue:HG92] [HR98] [HRU76] [Jon96] [Koc96] [Lam73