节点文献

移动计算系统信息流安全

Information Flow Security for Mobile Computation System

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 黄海军陈意云

【Author】 HUANG Hai-jun1, Chen Yi-yun 1,2 1 (Department of Computer Science, University of Science and Technology of China, Hefei 230026, China) 2 (Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China)

【机构】 中国科技大学计算机系中国科学院软件研究所计算机科学实验室 北京100080安徽合肥230026

【摘要】 程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全.

【Abstract】 Ensuring information flow security of programs is an important research direction of information security. Type-based analyses can be used to ensure information flow security of programs. Mobile computation system involves communication, which makes ensuring security more difficult. Based on the Zdancewic’s work, this paper extends λ sec with constructs for transmitting and receiving values on channels across remote sites, and develops a type system to ensure information flow security for simple mobile computation system.

【基金】 国家自然科学基金项目(60473068)资助
  • 【文献出处】 小型微型计算机系统 ,Journal of Chinese Computer Systems , 编辑部邮箱 ,2006年08期
  • 【分类号】TP393.08
  • 【被引频次】6
  • 【下载频次】196
节点文献中: 

本文链接的文献网络图示:

本文的引文网络