Analysis of covert timing channels based on operational semantics
Zhifeng Liu · Jisuanji gongcheng yu sheji · 2009
More hot topic is discussed in the field of computer information security —covert timing channels based on operational semantics. According to its characteristics and existing condition of covert timing channel in covert channel, then the methods of searching based on its characteristics is proposed. The methods of searching considers process as an abstract machine, based on the reasoning rules of Plotkin’s structured operational semantics, and the integral information conduction operational semantics model. The states transformation and transformation sequences of two high and low security levels of the abstract machine are analyzed, and finally studying visual windows, then find the exsting covert timing channel.