新兴软件与系统的可信赖性与安全专题前言

1

作者 向剑文 陈厅 +1 位作者 杨珉 周俊伟 《软件学报》 北大核心 2025年第7期2927-2928,共2页

随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本... 随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本身的可靠性与稳定性带来巨大的挑战. 展开更多

关键词 不确定性 安全性 可信赖性 复杂性 新兴软件

在线阅读 下载PDF 职称材料

基于随机Petri网的网络可信赖性分析方法研究 被引量：43

2

作者 林闯 王元卓 +1 位作者 杨扬 曲扬 《电子学报》 EI CAS CSCD 北大核心 2006年第2期322-332,共11页

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网... 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 展开更多

关键词 可信赖性 容错 随机PETRI网 马尔可夫过程 非马尔可夫过程

在线阅读 下载PDF 职称材料

增强计算系统可信赖性:融合虚拟化和SOA 被引量：13

3

作者 林闯 孔祥震 周寰 《软件学报》 EI CSCD 北大核心 2009年第7期1986-2004,共19页

随着计算机软、硬件技术的不断进步和应用需求的日益增长,以计算机为中心的计算系统的应用范围越来越广,其复杂程度也在迅速提高,人们对如何评估和提高计算系统的可信赖性的需求日益迫切.首先给出了计算系统的可信赖性的定义,并系统地... 随着计算机软、硬件技术的不断进步和应用需求的日益增长,以计算机为中心的计算系统的应用范围越来越广,其复杂程度也在迅速提高,人们对如何评估和提高计算系统的可信赖性的需求日益迫切.首先给出了计算系统的可信赖性的定义,并系统地定义了一整套量化评价指标;同时,对计算系统面临的各种可信赖性威胁进行了详细的归类分析.传统的方法难以应对复杂系统面临的各种可信赖性问题,人们仍在不断地寻求新的技术.虚拟化技术在这种应用背景下走向复兴,成为一大研究热点.介绍了已有的虚拟化技术在增强系统可信赖性上相关的研究成果,并且总结了虚拟化技术在增强系统可信赖性方面的各种特性和机制.然而由于现有的计算系统体系结构的限制,难以将虚拟化技术在增强系统可信赖性方面的优势充分地发挥出来.面向服务的体系结构(service oriented architecture,简称SOA)以其松散耦合、平台无关性等特点很好地适应了虚拟化技术的需求.因此,最后将SOA和虚拟化技术相结合,提出了一种增强计算系统可信赖性的系统架构,即面向服务的虚拟化SOV(service oriented virtualization),并且分析了SOV系统如何在遭受各种可信赖性威胁时,运用体系结构优势和虚拟化技术的各种机制保证系统可信赖性. 展开更多

关键词 计算系统 可信赖性 虚拟化技术 SOA(service ORIENTED architecture) 面向服务的虚拟化

在线阅读 下载PDF 职称材料

基于可信赖性和连续性的流形降维效果评价方法 被引量：5

4

作者 刘丽娜 马世伟 芮玲 《计算机应用研究》 CSCD 北大核心 2018年第6期1707-1711,共5页

针对采用主观分析法对基于流形学习的非线性降维效果进行评价存在主观性强,缺乏必要的量化计算进行指导问题,提出利用可信赖性和连续性两个指标对流形降维效果进行量化评价。其中,可信赖性用于衡量流形降维可视化效果图的可信度,连续性... 针对采用主观分析法对基于流形学习的非线性降维效果进行评价存在主观性强,缺乏必要的量化计算进行指导问题,提出利用可信赖性和连续性两个指标对流形降维效果进行量化评价。其中,可信赖性用于衡量流形降维可视化效果图的可信度,连续性则旨在分析原邻域的保持性。对常用的基于流形学习的非线性降维方法进行分类和对比研究,并在经典数据集Swissroll、Swisshole、Twopeaks、Helix和Puncturedsphere上利用可信赖性和连续性指标进行实验和对比分析,实验结果验证了该方法的有效性。 展开更多

关键词 数据降维 量化评价 可信赖性 连续性

在线阅读 下载PDF 职称材料

基于随机Petri网的机群系统可信赖性研究 被引量：2

5

作者 刘士喜 许志才 方贤文 《计算机工程与设计》 CSCD 北大核心 2008年第24期6190-6192,6217,共4页

随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分... 随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。 展开更多

关键词 随机PETRI网 可信赖性 机群系统 分配器/服务器

在线阅读 下载PDF 职称材料

随机跳跃索引:一种支持随机插入的可信赖索引

6

作者 刘凤晨 黄河 +1 位作者 刘庆文 丁永生 《计算机学报》 EI CSCD 北大核心 2009年第5期974-981,共8页

跳跃索引是一种可信赖性索引,但只能为严格单调递增的序列建立索引,不能处理非顺序序列.为了解决这个问题,文中提出了一种新的索引,它可以对任意顺序的序列建立索引,并且依然保证索引的可信赖性.通过在原有跳跃索引结构中加入左侧跳跃... 跳跃索引是一种可信赖性索引,但只能为严格单调递增的序列建立索引,不能处理非顺序序列.为了解决这个问题,文中提出了一种新的索引,它可以对任意顺序的序列建立索引,并且依然保证索引的可信赖性.通过在原有跳跃索引结构中加入左侧跳跃指针的方法,索引节点可以根据待加入节点值的大小将其纳入自己的左侧或右侧指针以处理随机序列;索引结构中的每一个节点到根节点的路径固定且唯一,保证了索引的可信赖性.实验结果和理论证明都表明该索引是可以处理随机序列的可信赖索引,相对原有索引,索引建立复杂度明显降低且具有相同的查找复杂度.文中的创新之处是在保证索引的可信赖性的基础上解决了跳跃索引不能为随机序列建立索引的问题. 展开更多

关键词 可信赖性 倒排表 索引 B+树 检索 算法

在线阅读 下载PDF 职称材料

Web应用服务器自适应负载平衡服务 被引量：26

7

作者 范国闯 朱寰 +1 位作者 黄涛 冯玉琳 《软件学报》 EI CSCD 北大核心 2003年第6期1134-1141,共8页

Web应用服务器是为事务性Web应用提供一系列运行时服务的分布式系统.基于中间件的自适应负载平衡服务是为Web应用服务器提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如缺乏服务端透明性、负载策略不可替换等,不能满足... Web应用服务器是为事务性Web应用提供一系列运行时服务的分布式系统.基于中间件的自适应负载平衡服务是为Web应用服务器提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如缺乏服务端透明性、负载策略不可替换等,不能满足Web应用服务器特有的需求.分析了Web应用服务器负载平衡服务的关键需要,设计了一种自适应负载平衡服务,阐述了在J2EE应用服务器WebFrame2.0上实现该服务的若干关键技术及其解决办法,包括可热插拔、负载策略可替换、负载反馈与自适应控制、状态迁移以及容错技术等,最后是相关工作介绍及其比较.该负载平衡服务已在Web应用服务器WebFrame2.0中得以实现. 展开更多

关键词 WEB应用服务器 自适应负载平衡服务 中间件 可信赖性 可伸缩性

在线阅读 下载PDF 职称材料

可信编译器关键技术研究 被引量：7

8

作者 何炎祥 刘陶 吴伟 《计算机工程与科学》 CSCD 北大核心 2010年第8期1-6,35,共7页

软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来自软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编... 软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来自软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编译器作为重要的系统软件之一,其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般都需要经过编译器编译后方能执行,如果编译器不可信,则无法保证其所生成代码的可信性。本文主要讨论设计和实现可信编译器的主要思路和关键技术。 展开更多

关键词 可信编译 代码可信赖性 词法分析 微型编译器

在线阅读 下载PDF 职称材料

证人证言质证的论证模型研究——基于图尔敏模式的分析 被引量：2

9

作者 黄金华 《理论月刊》 CSSCI 北大核心 2013年第11期116-119,共4页

证人证言是言辞证据的主要类型,对证人证言进行质证的基本方式主要依靠法庭询问。本文主要通过引入图尔敏、沃尔顿等知名法律论证学者的论证理论,基于对证人证言质证过程的形式、性质以及图尔敏模式的基本构造要素的分析,对法庭质证、... 证人证言是言辞证据的主要类型,对证人证言进行质证的基本方式主要依靠法庭询问。本文主要通过引入图尔敏、沃尔顿等知名法律论证学者的论证理论,基于对证人证言质证过程的形式、性质以及图尔敏模式的基本构造要素的分析,对法庭质证、询问证人的过程构建以图尔敏模式为框架的论证模型,并就该论证模型结论的可废止性、证人证言可信赖性等问题展开探讨。 展开更多

关键词 证人证言 图尔敏模式 可废止性 可信赖性

在线阅读 下载PDF 职称材料

侦察指挥车系统效能计算 被引量：1

10

作者 张强华 刘金伟 李德君 《四川兵工学报》 CAS 2009年第11期84-87,共4页

根据系统效能模型(即WSEIAC模型),对侦察指挥车的战术技术性能参数进行了计算,得到了系统作战效能,并对结果进行了分析.

关键词 系统效能 可用性向量 可信赖性向量 能力向量

在线阅读 下载PDF 职称材料

国外可信数字知识库标准与审计、认证工具研究 被引量：1

11

作者 刘晓慧 刘兹恒 《图书馆论坛》 CSSCI 北大核心 2018年第12期159-167,共9页

数字知识库的发展对于数据长期保存、共享和利用具有重要意义。如何保证数字知识库的可信赖性是其发展过程中必须思考的问题,国外关于数据长期保存已经有较多的标准指南及工具可以参考。文章调研了国外可信数字知识库标准和审计、认证工... 数字知识库的发展对于数据长期保存、共享和利用具有重要意义。如何保证数字知识库的可信赖性是其发展过程中必须思考的问题,国外关于数据长期保存已经有较多的标准指南及工具可以参考。文章调研了国外可信数字知识库标准和审计、认证工具,发现其具有公开性、发展性、时效性等特点;由专业的组织机构制定,并朝着多层级的综合认证体系方向发展。在此基础上,文章对我国可信数字知识库标准与工具体系的建立提出建议。 展开更多

关键词 数字知识库 可信赖性 标准指南 审计 认证

在线阅读 下载PDF 职称材料

城市信用社形象塑造初探

12

作者 张光明 《南方金融》 1998年第8期48-49,共2页

关键词 城市信用社 形象塑造 电白县 公众形象 金融机构 金融业 服务水平 服务手段 可信赖性 营业场所

在线阅读 下载PDF 职称材料

推进可信身份认证技术的体系化

13

作者 郑方 《信息安全研究》 2020年第7期574-574,共1页

“可信”这个词,在IT领域最初用于描述网络,后来被泛化到计算。一个可信任的系统意味着无论用户或设备主体,每一次的访问行为都是可信任的。可信身份认证体系正是构建这一可信系统的重要基础设施。IEEE对可信的定义是:一个计算机系统称... “可信”这个词,在IT领域最初用于描述网络,后来被泛化到计算。一个可信任的系统意味着无论用户或设备主体,每一次的访问行为都是可信任的。可信身份认证体系正是构建这一可信系统的重要基础设施。IEEE对可信的定义是:一个计算机系统称为可信的,是指其提供服务的可信赖性“能够进行论证”。可信计算工作组给出的定义是:“实体的行为总是与预期的相符”。国际标准化组织给出的定义要点则是“可预测”。可见,虽然定义有不同,但都强调了主体行为及其结果的可验证、可预测,并最终指向安全可控。 展开更多

关键词 计算机系统 可信计算 可信赖性 访问行为 可信系统 安全可控 国际标准化组织 可信任

在线阅读 下载PDF 职称材料