An Approach to Analyze Covert Channel based on Finite State Machine

摘要：

Most researches in the field of covert channel concerned a specific channel, and few works resolved the general situations. This paper focuses on the system that can be modeled as a finite state machine, introduces an approach to modify the machine. Researcher can use the modified finite state machine to set up a noiseless covert channel in the system, calculate the covert channel’s information leakage, and get the necessary and sufficient condition for the system to be secure. To show the approach’s availability, this paper gives an example to show the whole process.

关键词： covert channel finite state machine information security

作者: Xiong Liu Jian-guo Hao Yi-qi Dai

作者单位: Department of Computer Science and Technology Tsinghua University Beijing, China

会议类型: 国际会议

会议名称: 2010年IEEE多媒体信息网络与安全国际会议

会议地点: 南京

会议语种:英文

页码: 438-442

在线出版日期: 2010-11-01（万方平台首次上网日期，不代表论文的发表时间）