Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code.

Jingsha He Virgil D. Gligor Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. 57-76 1992 conf/esorics/1992 ESORICS http://dx.doi.org/10.1007/BFb0013892 db/conf/esorics/esorics1992.html#HeG92