Title :
Research on control method of convert channel lattice-based
Author :
Tong, Zhi-chen ; Yang, Ming-xin ; Li, Qing-Heng
Author_Institution :
Coll. of Econ. Manage., Hebei Univ. of Sci. & Technol., Shijiazhuang, China
Abstract :
After defining two ideas lattice and convert channel, this paper analyses detecting methods of convert channel including SRM, syntactic information flow analysis, semantic information flow approach and non-interference method. This paper put forwards one method of improved syntactic information flow processing. The idea in this kind of method is that we design PC to sign every row of program, and detect the covert information flow by this kind of data structure-stack.
Keywords :
telecommunication channels; telecommunication control; SRM; control method; covert information flow; data structure-stack; lattice-based covert channel; noninterference method; semantic information flow approach; shared resource matrix method; syntactic information flow analysis; Cybernetics; Kernel; Lattices; Machine learning; Security; Semantics; Upper bound; Covert channel; Covert information flow; Lattice; PC; Stack;
Conference_Titel :
Machine Learning and Cybernetics (ICMLC), 2010 International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-1-4244-6526-2
DOI :
10.1109/ICMLC.2010.5580611
