Simulation Analysis of Covert Channels
Shiguang Ju · Jisuanji fangzhen · 2006
Covert channels analysis,in TCSEC and CC,is the necessary work for secure software to get the certification of B2 and EAL5 or above levels,respectively.A simulation system of covert channels was built here,by which the characteristics of covert channels were analyzed.Some novel characteristics that never known in static analysis based on the source code or top-level description were found during the simulation.Theoretical analysis was given for these new characteristics of covert channels.Furthermore,a new audit method for covert channels named Two-step was proposed.