收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

网构软件可信性保证关键技术研究

司冠南  
【摘要】:存在于互联网各个节点上的主体化软件服务,通过多种机制进行协同、整合而形成的软件形态通称为网构软件。网构软件为有效进行异构资源整合、充分利用互联网上大量的软件服务提供了有效手段。但随着对网构软件功能需求的不断增加,系统的结构、体系变得日趋复杂,同时由于软件的运行环境从传统的“封闭、静态、可控”环境转变到了“开放、动态、难控”的互联网环境,对可信性保证的要求变得日益突出。但目前网构软件可信性保证技术在信任关系的约束机制、推荐信息的准确性、信任衰减参数的合理性、信任演化模型的系统化、可信性评估方法的切实性等方面还存在着不足。针对上述不足,本文在网构软件可信性保证关键技术方面进行了研究,具体研究内容与创新点包括: (1)在实体个体层面,研究网构软件的可信实体模型。提出了具有自省性、自明性、自主性特点的网构软件强可信智能实体模型。定义了实体可信情况形式化描述语言(EDSADL),使实体能够通过自省机制实时监控与保障自身的可信性水平,并向外界公布以供验证。设计了业务功能模块与可信性保障模块分离的系统结构,保证了实体在向外界公开可信保障机制的同时对自身业务细节的保密性。设计了“环境感知——策略调度——行为触发”的机制,使实体具有感知环境刺激而自主演化的能力,保证了实体在外界环境可信性发生变化时能够做出适时地响应。 (2)在实体间协同的层面,研究网构软件实体间的信任约束机制。引入契约式设计思想,从服务使用者和提供者的角度出发,采用“承诺—评估”机制明确双方的权利和义务,为实体交互过程中的双边规范定义了从低层接口语义到高层可信性情况的约束。定义了信任契约中前置条件、后置条件和不变式3要素的描述方法,保证了服务使用者、提供者以及服务交互关系的可信性。为实体协同、合作和竞争提供了有力的评估依据。 (3)对于信任传递参数,研究实体间信任传递衰减参数的计算方法。综合主观信任与客观评估的优点,提出了基于评估的信任衰减过程。在对实体环境进行可信性评估的基础上,通过逐级计算、信息合并来综合多个推荐者实体的推荐信息,使用对实体间传输可信性的评估结果来修正推荐信息,计算得到信任传递过程中的衰减参数。该方法充分考虑了外部环境、实体自身条件等情况对主观信任值的影响,使信任传递过程中信任衰减参数的计算更加客观、准确。 (4)在系统层面,研究网构软件可信性演化模型。提出了一种对网构软件体系结构进行形式化的建模方法,建立了系统结构模型,并据此提出了基于分层Petri网的网构软件可信性演化模型。通过上层Petri网对实体之间的各种基本协同关系进行了建模,以此形成系统整体组成结构的描述,反映了实体间的信任关系的演化;通过下层Petri网对实体内部的契约协商策略进行了建模,设计了基于信任等级带有路径引导的信任契约协商方法。从系统整体的角度建立起动静结合、层次分明、描述统一的网构软件可信性演化模型。 (5)在系统测试与可信性评估层面,研究网构软件系统可信性评估模型。提出了符合网构软件异构性、结构化、动态化特征的可信性评估方法。定义了基于贝叶斯网络的网构软件可信性评估体系,通过树形结构整合了传统的静态指标以及适用于网构软件的动态指标。提出了基于结构模式的可信性评估指标及其计算方法,在描述各实体之间结构关系、语义关系的基础上,涵盖了对网构软件系统整体及其组成实体可信性的评估。建立起不但能对系统进行评估,还能为用户选择最优化实体提供帮助的可信性评估模型。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 熊伟;王娟丽;蔡铭;;基于QFD技术的软件可信性评估研究[J];计算机应用研究;2010年08期
2 余涛;丁帅;;面向软件可信优化的关键因素分析[J];价值工程;2011年14期
3 杨善林;丁帅;付超;;考虑信息源相关的软件可信性评估模型[J];中国管理科学;2009年06期
4 汤永新;刘增良;;软件可信性度量模型研究进展[J];计算机工程与应用;2010年27期
5 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
6 杨洁;杨育;王小磊;;面向可信软件的风险管理模型研究[J];计算机应用研究;2008年10期
7 赵玲;软件可靠性与维修性[J];电子产品可靠性与环境试验;1997年02期
8 郑志明;马世龙;李未;韦卫;姜鑫;张占利;郭炳晖;;软件可信性动力学特征及其演化复杂性[J];中国科学(F辑:信息科学);2009年09期
9 杨启善;IEC/TC56简介[J];电子标准化与质量;1999年06期
10 高铭;郭树行;;软件构件的可信性需求建模研究[J];河套大学学报;2009年02期
11 丁学雷;王怀民;王元元;卢刚;;面向验证的软件可信证据与可信评估[J];计算机科学与探索;2010年01期
12 程平;刘伟;;基于结构分解的软件可信性变化传播模式研究[J];科技管理研究;2010年05期
13 程平;刘伟;陈艳;;基于矩阵变换的软件可信性演化波及效应[J];系统工程理论与实践;2010年05期
14 赵倩;王慧强;冯光升;赵靖;;基于Pi演算的软件可信性度量方法[J];吉林大学学报(工学版);2011年06期
15 郑志明;马世龙;李未;姜鑫;韦卫;马丽丽;唐绍婷;;软件可信复杂性及其动力学统计分析方法[J];中国科学(F辑:信息科学);2009年10期
16 洪宏;黄志球;沈国华;钱巨;刘春勇;;支持软件可信评估的框架及其应用研究[J];计算机科学与探索;2011年02期
17 卢刚;王怀民;毛晓光;;基于认知的软件可信评估证据模型[J];南京大学学报(自然科学版);2010年04期
18 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
19 张瞩熹;李仁杰;王怀民;;一个面向方面的可信软件开发平台TSCE[J];计算机应用研究;2009年05期
20 ;计算力学的可信性问题及其量化模型研究(项目编号10872146)[J];天津工程师范学院学报;2009年01期
中国重要会议论文全文数据库 前10条
1 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 田鹤;赵海;赵佳丽;蔡巍;刘铮;;基于复杂网络的大规模软件分析平台的设计与实现[A];第八届沈阳科学学术年会论文集[C];2011年
4 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
5 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 孙明;张申;马亚龙;;一种基于事件逻辑分析的作战仿真可信性评估方法[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
7 梁剑华;江建慧;靳昂;胡瑾;;Linux上软件实现的故障注入方案及其实现[A];第三届中国测试学术会议论文集[C];2004年
8 靳昂;江建慧;楼俊钢;;基于加速寿命试验的Web服务器测评[A];第六届中国测试学术会议论文集[C];2010年
9 沈寒辉;邹翔;周家晶;;基于PKI的跨域边界信任计算方法[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
10 张淑丽;叶继昌;;飞航导弹武器系统仿真可信度评估方法研究[A];仿真计算机与软件、仿真方法与建模学术交流会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 司冠南;网构软件可信性保证关键技术研究[D];南开大学;2012年
2 韩强;基于行为的软件可信性度量理论与关键技术研究[D];北京邮电大学;2013年
3 石莉;软件可信性评估方法研究[D];合肥工业大学;2012年
4 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
5 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
6 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
7 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
8 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
9 何加浪;软件可信性保障若干关键技术[D];南京理工大学;2012年
10 郝瑞;基于虚拟可信平台的软件可信性研究[D];太原理工大学;2013年
中国硕士学位论文全文数据库 前10条
1 王波;基于网络环境的软件可信性度量平台的设计与实现[D];北京交通大学;2013年
2 康培亮;软件可信性评估模型的研究[D];北京交通大学;2013年
3 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
4 韩冬冬;应用软件可信性混合度量的设计和应用[D];北京工业大学;2013年
5 顾聪越;基于云模型的软件可信性评估模型[D];大连理工大学;2011年
6 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
7 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
8 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
9 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
10 张侃;基于体系结构能耗建模的CPS软件可信性评估研究[D];苏州大学;2013年
中国重要报纸全文数据库 前8条
1 张志刚;ESP使SAN更安全[N];中国计算机报;2003年
2 邵玟;从三方面加强应急资源整合[N];中国计算机报;2007年
3 ;网络信息安全与保密的技术特征[N];北京科技报;2000年
4 闻丹岩;体系上解决电子政务安全[N];中国计算机报;2002年
5 ;四个安全的保证[N];中国计算机报;2003年
6 闻丹岩;迈普体系上考虑安全[N];中国计算机报;2002年
7 广西质量技术监督局信息中心 罗卢洋 杨开鹏;“金质工程”的多级安全保障[N];网络世界;2011年
8 常建龙 刘伟 覃硕;“确实”:为软件创新筑巢[N];科技日报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978