中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
题名:
移动计算系统信息流安全
作者: 黄海军 ; 陈意云
关键词: 程序信息流安全,无干扰性,形式语义,类型系统,子定型
刊名: 小型微型计算机系统
发表日期: 2006
期: 8, 页:1455-1460
收录类别: wanfang ; cnki
部门归属: 中国科技大学计算机系,中国科技大学计算机系,中国科学院软件研究所计算机科学实验室 北京100080,,安徽合肥230026,安徽合肥230026
摘要: 程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证M
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/11900
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
移动计算系统信息流安全.pdf(592KB)----限制开放-- 联系获取全文

Recommended Citation:
黄海军,陈意云. 移动计算系统信息流安全[J]. 小型微型计算机系统,2006-01-01(8):1455-1460.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[黄海军]'s Articles
[陈意云]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[黄海军]‘s Articles
[陈意云]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace