期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到139篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
支持运行监控的可信软件体系结构设计方法 被引量：13
1
作者 文静 王怀民 +2 位作者 应时 倪友聪 王涛 《计算机学报》 EI CSCD 北大核心 2010年第12期2321-2334,共14页
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系... 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作. 展开更多
关键词 面向侧面的体系结构描述语言 面向侧面的软件开发方法 支持运行监控的可信软件构造模型 软件工程 可信软件开发
在线阅读 下载PDF
可信软件分析与测试研究进展 被引量：8
2
作者 王环环 詹永照 陈锦富 《计算机应用研究》 CSCD 北大核心 2011年第7期2401-2406,2423,共7页
以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件... 以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。 展开更多
关键词 可信软件 可信软件特征 软件分析 软件测试 验证
在线阅读 下载PDF
我国可信软件产业的发展现状与应对策略 被引量：2
3
作者 程平 刘伟 陈艳 《科技进步与对策》 CSSCI 北大核心 2010年第3期51-54,共4页
发展和扶持可信软件产业,对中国软件产业的崛起和振兴具有重要的现实意义和长远的战略意义。讨论了可信软件和可信软件产业的涵义,以及发展我国可信软件产业的重要性,对我国可信软件产业的现状进行了分析与思考,并在此基础上,有针对性... 发展和扶持可信软件产业,对中国软件产业的崛起和振兴具有重要的现实意义和长远的战略意义。讨论了可信软件和可信软件产业的涵义,以及发展我国可信软件产业的重要性,对我国可信软件产业的现状进行了分析与思考,并在此基础上,有针对性地提出了促进我国可信软件产业发展的对策。 展开更多
关键词 可信软件 可信软件产业 新兴产业 软件产业 发展策略
在线阅读 下载PDF
构造基于互联网的可信软件生产服务系统 被引量：1
4
作者 尹刚 王怀民 +3 位作者 袁霖 朱沿旭 史殿习 米海波 《计算机科学与探索》 CSCD 2011年第10期880-890,共11页
基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生... 基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。 展开更多
关键词 可信软件 证据组合 开源软件 可信软件生产工具与集成环境(Trustie)
在线阅读 下载PDF
基于服务组合的可信软件动态演化机制 被引量：30
5
作者 曾晋 孙海龙 +2 位作者 刘旭东 邓婷 怀进鹏 《软件学报》 EI CSCD 北大核心 2010年第2期261-276,共16页
以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方... 以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性. 展开更多
关键词 可信软件 动态演化 组合服务 WEB服务
在线阅读 下载PDF
一种基于效用和证据理论的可信软件评估方法 被引量：47
6
作者 杨善林 丁帅 褚伟 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1152-1159,共8页
由于可信软件评估需求的动态多变以及专家主观决策的有限理性,多维多尺度可信软件评估问题是一个重要而困难的研究课题.在分析现有可信软件评估需求的基础上,提出一种基于效用和证据理论的可信软件评估方法.首先设计了一个需求驱动的可... 由于可信软件评估需求的动态多变以及专家主观决策的有限理性,多维多尺度可信软件评估问题是一个重要而困难的研究课题.在分析现有可信软件评估需求的基础上,提出一种基于效用和证据理论的可信软件评估方法.首先设计了一个需求驱动的可信指标树动态构造模型:开放式可信指标数据库和指标树生成算法;接着讨论分析了基于效用的可信软件定性和定量指标的信息预处理技术,并重点介绍基于分布式评估框架和Dempster合成规则的可信软件评估证据推理算法;最后通过案例证明了该方法的有效性和合理性.相信该模型的提出能对复杂环境下软件可信性评估理论的进一步研究起推动作用. 展开更多
关键词 可信软件评估 评估指标树 效用 证据理论 信息转换
在线阅读 下载PDF
可信软件非功能需求形式化表示与可满足分析 被引量：10
7
作者 张璇 李彤 +3 位作者 王旭 于倩 郁湧 朱锐 《软件学报》 EI CSCD 北大核心 2015年第10期2545-2566,共22页
可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可... 可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性. 展开更多
关键词 可信软件 早期需求工程 非功能需求 软件过程 可满足性问题
在线阅读 下载PDF
DRT:一种云计算中可信软件服务的通用动态演变鲁棒信任模型 被引量：12
8
作者 任伟 雷敏 杨榆 《小型微型计算机系统》 CSCD 北大核心 2012年第4期679-683,共5页
提出一种云计算的软件服务的信誉度量方法-动态演变的鲁棒信任模型DRT.DRT模型的优势在于:能有效地刻画动态特征,包括加权评级变化,时间演变,记忆平滑处理;信誉评级方法合理,包括依信誉权重的直接评级和间接评级;健壮性高,能抵御Bad-mo... 提出一种云计算的软件服务的信誉度量方法-动态演变的鲁棒信任模型DRT.DRT模型的优势在于:能有效地刻画动态特征,包括加权评级变化,时间演变,记忆平滑处理;信誉评级方法合理,包括依信誉权重的直接评级和间接评级;健壮性高,能抵御Bad-mouth、Id-shift、Collusion、Trust-abuse及其联合攻击.并提出DTAA攻击检测算法来检测Collusion攻击(以及联合攻击).模拟实验表明,关键信誉评级方法高效可行. 展开更多
关键词 可信软件 信任模型 云计算 软件服务
在线阅读 下载PDF
高可信软件的防危性评估研究 被引量：8
9
作者 杨仕平 熊光泽 +1 位作者 桑楠 吴新勇 《计算机工程与设计》 CSCD 2004年第2期161-165,169,共6页
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技... 在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。 展开更多
关键词 软件可靠性 软件系统 防危性评估 高可信软件 软件工程
在线阅读 下载PDF
基于全生命周期的可信软件评价研究述评 被引量：1
10
作者 于本海 秦晋 +2 位作者 邵良杉 智荣腾 杨永清 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2017年第9期996-1003,共8页
针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在可信软件领域资助的情况进行分析,系统研究了国内外可信软件评价相关最新研究成果.在可信软件过程评价方面... 针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在可信软件领域资助的情况进行分析,系统研究了国内外可信软件评价相关最新研究成果.在可信软件过程评价方面,主要侧重于可信软件过程实体可信、过程行为可信以及过程能力可信评价模型研究;在可信软件产品评价方面,主要侧重于保密安全性、生存性、容错性、可靠性、可靠安全性、实时性研究.从学科分布来看,可信软件研究充分体现管理学、软件工程、计算机科学技术等多学科交叉特征. 展开更多
关键词 可信软件 软件过程 可信软件测度 软件生命周期 软件产品
在线阅读 下载PDF
可信软件需求获取与分析研究综述及展望 被引量：8
11
作者 罗新星 朱名勋 唐中君 《计算机应用研究》 CSCD 北大核心 2010年第10期3617-3621,共5页
需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取... 需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取与分析方法的研究动态进行了总结与展望。 展开更多
关键词 需求获取 需求分析 可信软件 元需求
在线阅读 下载PDF
基于马尔可夫链的可信软件动态评估模型 被引量：6
12
作者 罗新星 唐振宇 赵玉洁 《计算机应用研究》 CSCD 北大核心 2015年第8期2400-2405,共6页
软件可信度评估受主观经验、主观决策及有限理性的影响,评估结果的精确性和客观性无法得到全面保证。为了解决上述问题,利用马尔可夫链,以经典可信软件属性指标体系为基础,从软件层次属性的动态变化考虑,提出了一种时间情境下的动态评... 软件可信度评估受主观经验、主观决策及有限理性的影响,评估结果的精确性和客观性无法得到全面保证。为了解决上述问题,利用马尔可夫链,以经典可信软件属性指标体系为基础,从软件层次属性的动态变化考虑,提出了一种时间情境下的动态评估模型。通过模糊综合评判和层次分析法进行量化,以确定子属性的权重和元属性的相对权重,应用马尔可夫过程构建各层级属性的内部定向转换概率模型,通过模糊算法得出最终的可信评估结果。结论表明,该模型在一定程度上更加符合软件应用的实际情形,在逻辑上更具有说服力。实例也说明了本模型的科学性和有效性。 展开更多
关键词 可信软件 马尔可夫链 比较矩阵 漏洞
在线阅读 下载PDF
基于证据的可信软件过程评估方法 被引量：5
13
作者 杜晶 杨叶 +1 位作者 王青 李明树 《计算机科学与探索》 CSCD 2011年第6期501-512,共12页
现有软件过程可信性评估方法中,评估结果往往基于评估人员的主观经验,其准确性和客观性无法得到保证。为解决这个问题,提出了一种基于证据的可信软件过程评估方法(evidence-based trustworthy software process assessment method,EB-TS... 现有软件过程可信性评估方法中,评估结果往往基于评估人员的主观经验,其准确性和客观性无法得到保证。为解决这个问题,提出了一种基于证据的可信软件过程评估方法(evidence-based trustworthy software process assessment method,EB-TSPAM)。该方法以可信软件过程管理研究成果为基础,度量过程数据,生成软件过程可信性评估证据,并基于证据对软件过程进行可信性评估,达到加强有效过程管理的目的。以软件开发过程中的实际数据作为评估基础,全面考虑软件过程中影响可信性的各种因素,避免了由评估人员主观判断对评估结果产生的负面影响,保证了最终评估结果的准确性、客观性和全面性。 展开更多
关键词 可信软件 软件过程可信性 可信过程评估 基于证据
在线阅读 下载PDF
动态演化环境中可信软件行为监控研究与进展 被引量：10
14
作者 万灿军 李长云 《计算机应用研究》 CSCD 北大核心 2009年第4期1201-1204,共4页
提出了一个软件行为监控框架,在此基础上,从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面,阐述了可信软件行为监控的研究进展,分析了目前研究中存在的问题,并探讨了其未来的发展趋势。
关键词 动态演化 可信软件 行为监控 行为可信
在线阅读 下载PDF
一种基于中间件的可信软件保护模型 被引量：3
15
作者 蔡增玉 甘勇 +2 位作者 刘书如 贺蕾 冯媛 《计算机应用与软件》 CSCD 2010年第2期71-72,156,共3页
软件的可信性是可信计算的研究热点之一。首先描述了可信计算平台和可信平台模块的基本概念,接着结合安全中间件和可信计算模型,在现有的PC体系结构下,提出了一种具体的基于中间件的可信软件保护模型,着重介绍了新模型的体系结构和系统... 软件的可信性是可信计算的研究热点之一。首先描述了可信计算平台和可信平台模块的基本概念,接着结合安全中间件和可信计算模型,在现有的PC体系结构下,提出了一种具体的基于中间件的可信软件保护模型,着重介绍了新模型的体系结构和系统组成,最后通过实例对软件保护机制进行了详细的说明。新模型具有通用性强和易于实现的特点,对于软件可信性保证的研究以及软件可信保护系统的建立具有一定的意义。 展开更多
关键词 可信计算 可信软件 软件保护模型 中间件
在线阅读 下载PDF
一种可信软件设计方法及可信性评价 被引量：8
16
作者 田俊峰 李珍 刘玉玲 《计算机研究与发展》 EI CSCD 北大核心 2011年第8期1447-1454,共8页
针对可信计算组织TCG(Trusted Computing Group)的信任链无法保障软件运行时动态可信的问题,对该信任链进行扩充,引入对软件运行时动态可信性的检测,提出了可信引擎驱动的可信软件信任链模型,并在此基础上提出了一种可信软件设计方法及... 针对可信计算组织TCG(Trusted Computing Group)的信任链无法保障软件运行时动态可信的问题,对该信任链进行扩充,引入对软件运行时动态可信性的检测,提出了可信引擎驱动的可信软件信任链模型,并在此基础上提出了一种可信软件设计方法及可信性评价策略.通过引入描述软件可信行为轨迹的可信视图,在可信软件检查点处植入检查点传感器,将软件可信性融入软件设计中.通过对软件的完整性度量以及运行过程中软件行为轨迹的监测,实现软件的可信性保障.实验分析表明:采用该方法设计的软件能够有效地检测软件异常,并且成功检测软件异常的能力明显优于基于TCG信任链的软件. 展开更多
关键词 可信软件设计 可信性评价 信任链 软件行为 可信计算
在线阅读 下载PDF
可执行可信软件安全性分析技术研究 被引量：2
17
作者 陈楠 王震宇 +2 位作者 窦增杰 姚伟平 余弦 《计算机工程与设计》 CSCD 北大核心 2010年第22期4802-4805,共4页
为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代... 为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法。详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法。最后,概述了程序动态测试系统。 展开更多
关键词 可信软件 静态分析 动态测试 控制流分析 数据流分析
在线阅读 下载PDF
基于质量功能展开的可信软件需求映射方法 被引量：7
18
作者 熊伟 王晓暾 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2010年第5期881-886,共6页
为了保证和提高软件的可信性,针对当前可信软件需求管理在将可信性需求向软件设计过程映射方面存在的不足,提出基于质量功能展开(QFD)方法的可信软件需求映射方法.该方法在用数量化理论3类(QM3)方法定量分析可信软件需求的基础上,借助QF... 为了保证和提高软件的可信性,针对当前可信软件需求管理在将可信性需求向软件设计过程映射方面存在的不足,提出基于质量功能展开(QFD)方法的可信软件需求映射方法.该方法在用数量化理论3类(QM3)方法定量分析可信软件需求的基础上,借助QFD方法中的质量屋(HOQ)矩阵,将可信性需求映射到软件设计开发的整个过程,并在过程中追踪和控制这些需求,以使其在软件开发过程中得到正确而一致的实现,从而系统化地保证软件的可信性.用某金融软件系统的开发实例进行验证,说明所提方法能有效地管理和控制可信性需求,对提高软件系统的可信性和保证软件质量具有重要意义. 展开更多
关键词 可信软件 需求管理 质量功能展开(QFD) 质量屋(HOQ) 数量化理论3类(QM3)
在线阅读 下载PDF
基于本体的可信软件演化框架模型 被引量：3
19
作者 李季 刘春梅 《计算机应用研究》 CSCD 北大核心 2010年第12期4551-4554,共4页
为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自... 为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。 展开更多
关键词 可信软件 动态演化 服务组合 本体
在线阅读 下载PDF
复杂不确定环境下可信软件非功能需求评价模型 被引量：2
20
作者 文杏梓 罗新星 欧阳军林 《系统工程学报》 CSCD 北大核心 2016年第4期557-567,共11页
复杂不确定环境下非功能需求的定量评价是可信软件开发管理过程中急需解决的问题.本文通过构建非功能需求证据模型、非功能需求质量评价体系生成可信软件非功能需求评价指标体系.基于改进前景理论,考虑评价者的有限理性及评价结果的不... 复杂不确定环境下非功能需求的定量评价是可信软件开发管理过程中急需解决的问题.本文通过构建非功能需求证据模型、非功能需求质量评价体系生成可信软件非功能需求评价指标体系.基于改进前景理论,考虑评价者的有限理性及评价结果的不确定性,构建了可信软件非功能需求评价模型,在可信层次上对软件非功能需求进行定量评价与决策,并结合应用实例演示了模型的具体实现步骤及有效性.研究发现,评价者的有限理性及其变化对评价结果和决策会产生较大的影响. 展开更多
关键词 可信软件 非功能需求 前景理论 评价模型
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部