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

Source:ESORICS
Year:1992
Pages:57-76
Authors:Jingsha He, Virgil D. Gligor
Download:http://dx.doi.org/10.1007/BFb0013892
Other:BibTeX PubZone
from DBLP and Google Scholar

Loading Google Search Results...
Developed by the Database Group at the University of Wisconsin and Yahoo! Research