收藏本站
《计算机应用研究》 2009年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

动态演化环境中可信软件行为监控研究与进展

万灿军  李长云  
【摘要】:提出了一个软件行为监控框架,在此基础上,从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面,阐述了可信软件行为监控的研究进展,分析了目前研究中存在的问题,并探讨了其未来的发展趋势。

手机知网App
【参考文献】
中国期刊全文数据库 前7条
1 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
2 李长云;李莹;吴健;吴朝晖;;一个面向服务的支持动态演化的软件模型[J];计算机学报;2006年07期
3 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期
4 唐文,陈钟;基于模糊集合理论的主观信任管理模型研究[J];软件学报;2003年08期
5 黄罡,王千祥,梅宏,杨芙清;基于软件体系结构的反射式中间件研究[J];软件学报;2003年11期
6 罗军舟,seu.edu.cn,沈俊,顾冠群;从Petri网到形式描述技术和协议工程[J];软件学报;2000年05期
7 李长云;李赣生;何频捷;;一种形式化的动态体系结构描述语言[J];软件学报;2006年06期
【共引文献】
中国期刊全文数据库 前10条
1 刘玉龙,曹元大;分布网络环境主观信任模型研究[J];北京理工大学学报;2005年06期
2 赵建立,闻英友,商瑞强,王光兴;一种新型卫星网管协议的Petri网描述与验证[J];东北大学学报(自然科学版);2004年04期
3 吴翔,黄罡,郑子瞻,王千祥,梅宏;一种支持多协议的开放互操作框架[J];电子学报;2003年S1期
4 陈建刚;王汝传;王海艳;;网格资源访问的一种主观信任机制[J];电子学报;2006年05期
5 邓莹,古天龙;基于Petri网的协议分析技术及工具[J];桂林电子工业学院学报;2002年01期
6 张书钦;杨永田;;对等网络中基于模糊集的信任和声望模型[J];哈尔滨工程大学学报;2005年06期
7 殷贤亮;宋锦;徐丽萍;;适用于移动计算环境的反射式中间件[J];华中科技大学学报(自然科学版);2006年07期
8 李艳,肖德宝;基于不同形式化模型的网络通信协议验证技术的分析与比较[J];华中师范大学学报(自然科学版);2002年04期
9 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑;2005年12期
10 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学(E辑:信息科学);2006年10期
中国博士学位论文全文数据库 前10条
1 赵志刚;基于Petri网理论的计算机网络性能分析和电子商务模型设计[D];浙江大学;2002年
2 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
3 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
4 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
5 袁时金;信任管理关键技术研究[D];复旦大学;2005年
6 张书钦;对等网络中信任管理研究[D];哈尔滨工程大学;2005年
7 窦蕾;面向构件的复杂软件系统中动态配置技术的研究[D];国防科学技术大学;2005年
8 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
9 吴卿;面向普适计算的自适应中间件模型与方法研究[D];浙江大学;2006年
10 张仕斌;模糊信任模型及国家级PKI体系的研究[D];西南交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 李雄;基于构件运算的软件演化研究[D];湖南大学;2006年
2 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
3 林涛;基于模糊Petri网的知识推理与维护系统的设计[D];长沙理工大学;2004年
4 李忠文;城市交通领域软件构件的协同工作研究[D];大连理工大学;2005年
5 张鹏程;反射机制的研究与应用[D];河海大学;2005年
6 孙力群;基于模式系统软件体系结构的质量分析[D];合肥工业大学;2005年
7 李勇;软件演化技术研究与应用[D];大连理工大学;2004年
8 左红霞;面向企业应用的软件设计技术的研究[D];西北工业大学;2004年
9 曹清;PDA系统通信协议研究与实现[D];西北工业大学;2004年
10 李宏慧;基于着色Petri网模型的OSPF协议验证[D];内蒙古大学;2003年
【同被引文献】
中国期刊全文数据库 前10条
1 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
2 周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期
3 王作英,肖熙;基于段长分布的HMM语音识别模型[J];电子学报;2004年01期
4 赵俊峰,王亚沙,谢冰,杨芙清;一种支持构件服务质量的构件管理框架[J];电子学报;2004年S1期
5 邹翔,张巍,肖明军,蔡庆生;分布式环境下的序列模式发现研究[J];复旦学报(自然科学版);2004年05期
6 王雪松;陈瞻;唐雪飞;;AOP及其编织技术的研究[J];福建电脑;2006年03期
7 崔伟东,田捷;软件工程方法的演化[J];工业控制计算机;2002年06期
8 曹成;周健;周红;王明福;;网络安全与对策[J];合肥工业大学学报(自然科学版);2007年09期
9 张旻;麦先根;贾璐;;Eclipse插件开发技术浅探[J];航空计算技术;2006年06期
10 郭海湘,诸克军;基于模糊c-均值算法和遗传算法的新聚类方法[J];华南理工大学学报(自然科学版);2004年10期
中国博士学位论文全文数据库 前9条
1 张海俊;基于主体的自主计算研究[D];中国科学院研究生院(计算技术研究所);2005年
2 窦蕾;面向构件的复杂软件系统中动态配置技术的研究[D];国防科学技术大学;2005年
3 吴卿;面向普适计算的自适应中间件模型与方法研究[D];浙江大学;2006年
4 张仕斌;模糊信任模型及国家级PKI体系的研究[D];西南交通大学;2006年
5 胡笑旋;贝叶斯网建模技术及其在决策中的应用[D];合肥工业大学;2006年
6 谭良;可信操作若干关键问题的研究[D];电子科技大学;2007年
7 杨杰;基于软件体系结构的网构软件组装技术研究[D];北京大学;2007年
8 盛津芳;商业构件评估方法及关键技术研究[D];中南大学;2007年
9 张敏;面向方面的软件开发方法与实现技术研究[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 王树凤;基于CORBA构件模型的动态配置平台的研究与实现[D];国防科学技术大学;2004年
2 周向东;基于偶图匹配的多处理机任务调度启发算法[D];郑州大学;2000年
3 谷玉海;基于虚拟仪器的大型旋转机组故障分析及趋势预测技术研究[D];北京机械工业学院;2004年
4 李红霞;软件可信度量研究初探[D];重庆大学;2005年
5 徐娜;基于可信赖计算平台的可信执行环境研究与实现[D];中国科学院研究生院(计算技术研究所);2006年
6 范后军;面向方面编程在WEB系统中的应用与研究[D];北京交通大学;2007年
7 赵丽华;生物序列模式发现算法的研究[D];西安电子科技大学;2007年
8 张瞩熹;面向方面编程在软件可管理性上的研究与实现[D];国防科学技术大学;2006年
9 党海阔;基于软件体系结构的银行综合前置系统的研究与开发[D];青岛大学;2006年
10 孙昊良;科技项目管理中专家与申请书分组匹配算法的研究[D];北京交通大学;2008年
【二级参考文献】
中国期刊全文数据库 前7条
1 沈俊,罗军舟,顾冠群;EPr/TN网可达性分析的冗余并发后继标识[J];计算机研究与发展;1998年03期
2 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期
3 马晓星,张小蕾,吕建;自省的动态软件体系结构描述与实现[J];南京大学学报(自然科学版);2004年02期
4 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
5 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
6 黄罡,王千祥,梅宏,杨芙清;基于软件体系结构的反射式中间件研究[J];软件学报;2003年11期
7 李长云;李赣生;何频捷;;一种形式化的动态体系结构描述语言[J];软件学报;2006年06期
中国博士学位论文全文数据库 前1条
1 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 刘强;庄东明;王伟;;数据挖掘在应急救援决策支持中的应用研究[J];安全与环境工程;2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 范锐;刘小辉;;企业实体构件动态演化模型[A];2009中国控制与决策会议论文集(3)[C];2009年
2 汤宝平;秦树人;;智能控件化虚拟仪器开发系统的研究[A];第五届海峡两岸计量与质量学术研讨会论文集[C];2004年
3 唐姗;赵文耘;;基于反射的动态软件体系结构实现[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
4 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
5 张跃华;刘莹;张玲玲;石勇;;源代码挖掘在可信软件研究中的应用[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
6 蔡远利;于振华;王瑞峰;;多Agent系统形式化建模方法学[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
7 邢建川;李志蜀;;动态柔性工作流建模方法研究[A];第25届中国控制会议论文集(中册)[C];2006年
8 尚建嘎;刘修国;花卫华;郑坤;;支持多维动态地学图解的MAPGIS三维地学信息平台[A];第五届全国地质制图与GIS学术讨论会论文集[C];2007年
9 贺建立;陈榕;;面向普适计算的动态AOP设计与实现[A];第四届和谐人机环境联合学术会议论文集[C];2008年
10 周江华;卫军胡;孙国基;;基于OpenGL的制造系统虚拟仿真环境设计及实现[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
中国博士学位论文全文数据库 前10条
1 谢仲文;一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法[D];云南大学;2012年
2 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
3 吴毅坚;面向网格服务的软件体系结构建模及演化研究[D];复旦大学;2006年
4 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年
5 王红春;网络化软件多粒度动态特性分析[D];武汉大学;2010年
6 黄万艮;基于消息和构件运算的软件体系结构演化研究[D];中南大学;2008年
7 张仕;基于面向对象软件的动态更新研究[D];上海交通大学;2008年
8 常志明;自适应系统软件体系结构的关键技术研究[D];国防科学技术大学;2009年
9 毕贵红;固体废物综合管理系统演化与调控模型研究[D];昆明理工大学;2008年
10 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘春梅;基于本体和规则推理的软件可信演化研究[D];重庆大学;2010年
2 段炼;基于.NET反射机制的软件动态演化方法研究[D];吉林大学;2012年
3 黄晙;网构软件的情境感知与动态演化模型研究[D];上海交通大学;2010年
4 伍建焜;网格服务组装与演化技术的研究及交通应用[D];大连理工大学;2006年
5 周怿;面向服务的动态演化软件模型研究[D];浙江大学;2006年
6 李勇;软件演化技术研究与应用[D];大连理工大学;2004年
7 李占国;一种基于Java接口和类加载器的软件动态演化模型[D];吉林大学;2007年
8 穆华平;基于动态邻域结构的微粒群算法研究[D];太原科技大学;2008年
9 李露;基于贝叶斯网络的软件需求风险评估技术研究[D];南京理工大学;2009年
10 马川;构件动态演化的行为一致性研究[D];燕山大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026