Title :
Application information flow non-interference transmission model
Author :
Lei Gong ; Lu Tian ; Fulian Zhang
Author_Institution :
Inst. of Electron. Technol., Inf. Eng. Univ., Zhengzhou, China
Abstract :
In the security field of computer application systems, how to guarantee legal transmission of information flow among different application programs is a significant problem. In this paper, firstly, non-interference theory is analyzed, and then a security model called Application Information Flow Noninterference Transmission Model (AIFNITM) is proposed. The model divides application programs into security domains and sets up rules for regular interference to prevent malicious information flow. Finally, on the basis of AIFNITM, a security enhancement system for an application server is implemented, which demonstrates that the model has strong practicality and operability.
Keywords :
application program interfaces; security of data; AIFNITM; application information flow noninterference transmission model; application programs; application server; computer application systems; information flow legal transmission; malicious information flow prevention; security enhancement system; security field; Computational modeling; Interference; Kernel; Prototypes; Security; Servers; Virtual machining; application security; non-interference; security domain; security model;
Conference_Titel :
Electronic and Mechanical Engineering and Information Technology (EMEIT), 2011 International Conference on
Conference_Location :
Harbin, Heilongjiang, China
Print_ISBN :
978-1-61284-087-1
DOI :
10.1109/EMEIT.2011.6023572