Research on control method of convert channel lattice-based

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Zhi-Chen Tong, Ming-Xin Yang, Qing-Heng Li
Format: Conference Proceeding
Language:English
Subjects:
Covert channel
Covert information flow
Cybernetics
Kernel
Lattice
Lattices
Machine learning
Security
Semantics
Stack
Upper bound
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2160-133X
DOI:10.1109/ICMLC.2010.5580611