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

• Authors:

• Jingsha He;Virgil D. Gligor

• Affiliations:

• -;-

• Venue:
• ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
• Year:
• 1992