收藏本站
《武汉大学学报(理学版)》 2011年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于系统调用和进程代数CCS的行为建模方法

张帆  徐明迪  游林  
【摘要】:软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究:以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS(calculus of communication system)动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.

【共引文献】
中国期刊全文数据库 前10条
1 李仲侠;通信业务自然描述方法的研究[J];长春邮电学院学报;1997年03期
2 李文,朱力鸣;分层递阶智能控制任务转换模型的研究现状[J];大连铁道学院学报;1996年02期
3 李侃,王兵山,李舟军;并发面向对象语言的演算语义研究[J];国防科技大学学报;1996年01期
4 王彩芬;程序正确性证明及循环不变式的寻找方法[J];甘肃科学学报;2000年03期
5 罗明,胡佳琦,费奇;ODSS中分布协调建模问题的知识级分析[J];华中理工大学学报;1999年09期
6 王寻羽,朱淼良;智能机器人的分布式虚拟环境研究[J];计算机研究与发展;2000年06期
7 赵致琢;关于计算机科学与技术认知问题的研究简报(I,II)[J];计算机研究与发展;2001年01期
8 蒋凡,宁华中;基于标号变迁系统的测试集自动生成[J];计算机研究与发展;2001年12期
9 王家兵,徐正权,王能超;RLD演绎及子句蕴含与子句包含关系的非等价性[J];计算机研究与发展;2002年12期
10 田俊峰;肖冰;马晓雪;王子贤;;TDDSS中可信模型及其分析[J];计算机研究与发展;2007年04期
中国博士学位论文全文数据库 前10条
1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
2 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
3 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
4 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
5 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
6 徐晓泉;完备格的关系表示理论及其应用[D];四川大学;2004年
7 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
8 付永刚;桌面环境下的三维用户界面和三维交互技术研究[D];中国科学院研究生院(软件研究所);2005年
9 陈理渊;多传感器数据融合及其在电机故障诊断中的应用研究[D];浙江大学;2005年
10 温泉;多媒体数字水印的鲁棒性和不可感知性研究[D];吉林大学;2005年
中国硕士学位论文全文数据库 前10条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 孙晓舟;HLR设计方法研究[D];西安电子科技大学;2002年
3 宁爱兵;面向事实程序设计的构思[D];江西师范大学;2003年
4 吴海涛;对象并发演算模型及对象语言语义研究[D];郑州大学;2003年
5 王振;MSC前台进程对象化方法研究[D];南京理工大学;2004年
6 崔海渤;Java语言的类和多态性的公理语义[D];大连理工大学;2005年
7 朱江;基于XML的程序设计自动批改的研究[D];湘潭大学;2005年
8 罗衡峰;缓冲区溢出漏洞利用与防御研究[D];重庆大学;2005年
9 陈京浩;进程检测模型及相关技术的研究与实现[D];重庆大学;2005年
10 张鹏;共代数方法及其在面向对象技术中的应用[D];同济大学;2006年
【同被引文献】
中国期刊全文数据库 前3条
1 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
2 叶茂;罗万伯;;TNC架构的应用研究[J];信息安全与通信保密;2006年01期
3 王飞;刘毅;;可信计算平台安全体系及应用研究[J];微计算机信息;2007年09期
【二级参考文献】
中国期刊全文数据库 前7条
1 闫巧,谢维信,宋歌,喻建平;基于HMM的系统调用异常检测[J];电子学报;2003年10期
2 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
3 张相锋,孙玉芳,赵庆松;基于系统调用子集的入侵检测[J];电子学报;2004年08期
4 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
5 闵应骅;可信系统与网络[J];计算机工程与科学;2001年05期
6 林闯,彭雪海;可信网络研究[J];计算机学报;2005年05期
7 唐文,陈钟;基于模糊集合理论的主观信任管理模型研究[J];软件学报;2003年08期
【相似文献】
中国期刊全文数据库 前10条
1 鄢斌;;一种可信计算平台的安全实现机制的FPGA实现[J];计算机与数字工程;2011年06期
2 禹蒲阳;康国胜;;可信计算的研究与发展[J];计算机技术与发展;2011年08期
3 霍静;;可信计算及其进展小议[J];科技信息;2011年22期
4 张焕国;李晶;潘丹铃;赵波;;嵌入式系统可信平台模块研究[J];计算机研究与发展;2011年07期
5 宋成;孙宇琼;彭维平;罗守山;辛阳;胡正名;;改进的直接匿名认证方案[J];北京邮电大学学报;2011年03期
6 潘大庆;张爱科;谢翠兰;;可信计算的操作系统安全模型及实现方案[J];柳州职业技术学院学报;2011年04期
7 庄琭;蔡勉;沈昌祥;;基于交互式马尔可夫链的可信动态度量研究[J];计算机研究与发展;2011年08期
8 周洪伟;石文昌;;基于TPM构建可信Hash树[J];小型微型计算机系统;2011年08期
9 司丽敏;蔡勉;陈银镜;郭颖;;一种信任链传递模型研究[J];计算机科学;2011年09期
10 冯登国;秦宇;汪丹;初晓博;;可信计算技术研究[J];计算机研究与发展;2011年08期
中国重要会议论文全文数据库 前4条
1 伍江江;王志英;戴葵;任江春;;可信平台上操作系统核心文件检测研究与实现[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
2 徐海波;荆继武;;浅析Trusted Platform Module[A];第十九次全国计算机安全学术交流会论文集[C];2004年
3 李红娇;魏为民;袁仲雄;;计算机科学与技术专业信息安全概论课程教学的思考[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
4 李凤海;张佰龙;;云计算中密码应用模式初探[A];第26次全国计算机安全学术交流会论文集[C];2011年
中国重要报纸全文数据库 前10条
1 张伟;可信计算构筑中国信息安全长城[N];中国高新技术产业导报;2008年
2 卢旭成;TCM 打造中国信息安全的DNA[N];中国计算机报;2008年
3 山林;可信计算:能否成为信息安全的一个新拐点[N];金融时报;2007年
4 ;底层防护的新天地[N];计算机世界;2007年
5 边歆;安全inside[N];网络世界;2006年
6 朱毅;保密法推动安全PC步入政采市场[N];政府采购信息报;2008年
7 中国工程院院士 方滨兴;探寻安全创新切入点[N];计算机世界;2007年
8 黄智军;安全电脑:正当潮起时[N];计算机世界;2007年
9 常伟;与“安全PC”亲密接触[N];大众科技报;2006年
10 田志春芮轩;信息安全需要科技创新[N];解放军报;2008年
中国博士学位论文全文数据库 前2条
1 谭良;可信操作若干关键问题的研究[D];电子科技大学;2007年
2 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 孙守胜;基于国产可信计算平台的涉密终端的应用研究[D];北京交通大学;2011年
2 任路成;可信计算平台数据封装存储技术的研究[D];郑州大学;2012年
3 姚伟平;可信计算平台动态测试系统的设计与实现[D];解放军信息工程大学;2010年
4 孟伟明;可信计算平台匿名认证方案的研究[D];四川师范大学;2011年
5 司丽敏;可信计算平台信任链理论与技术研究[D];北京工业大学;2011年
6 刘洋;可信计算平台下属性证明协议的研究与应用[D];东北大学;2011年
7 丁如意;可信计算平台的匿名认证研究[D];西安理工大学;2008年
8 罗芳;基于可信计算平台的Linux加密文件系统研究与实现[D];解放军信息工程大学;2008年
9 肖曦;可信中间件体系结构及其关键机制研究[D];解放军信息工程大学;2007年
10 朱强;一种可信计算软件栈的设计与实现[D];北京邮电大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026