DocumentCode
2246113
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
Volume
2
fYear
2010
fDate
11-14 July 2010
Firstpage
961
Lastpage
964
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics (ICMLC), 2010 International Conference on
Conference_Location
Qingdao
Print_ISBN
978-1-4244-6526-2
Type
conf
DOI
10.1109/ICMLC.2010.5580611
Filename
5580611
Link To Document