Survey on Information Flow Control
Author:
Affiliation:

Clc Number:

Fund Project:

National High Technology Research and Development Program of China (863) (2015AA016006, 2012AA012704)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Information flow control has been a hot and difficult research topic in providing end-to-end data security. This article presents an overview of the field of information flow control. First, the basic theory and models for information flow control are introduced from the perspectives of lattice, security type system, security process algebra and automata machine. Next, working from the bottom up of the computer hierarchy, the implementation methods of information flow control on hardware, operating system, virtual machine, high-level language, low-level language, database and network are introduced, and a comparison among various studies is provided. Then, combining the new technologies of the current era, the applications of information flow control in cloud computing, mobile internet, IoT (internet of thing) and big data are analyzed. Finally, the current problems and the future trends of information flow control are discussed.

    Reference
    Related
    Cited by
Get Citation

吴泽智,陈性元,杨智,杜学绘.信息流控制研究进展.软件学报,2017,28(1):135-159

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 01,2015
  • Revised:March 18,2016
  • Adopted:
  • Online: October 19,2016
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063