基于云会计的AIS可信性层次结构模型

AIS可信性是企业评价和选择是否使用云会计的关键考虑因素。在阐述软件可信性内涵的基础上,从过程和结果可信的角度给出了AIS可信性的定义;结合会计及会计软件要遵从的相关法律规范,审计、税收和内部控制与风险管理等对AIS的可信性要求,以及用户对AIS可信性的期望,给出了云会计环境下AIS可信性应该具备的可信属性;基于AIS可信属性的重要性,构建了一个基于层次结构的AIS可信性模型;将AIS可信性划分为基本可信、关键可信和增强可信三个层次,不同层次的可信属性体现了AIS可信性的重要性及其用户对AIS的可信性期望程度。最后,以金蝶K/3总账系统和网上银行系统为例说明了模型的具体应用。     

一种面向第三方测试的装备软件可信性评估方法

软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软件可信性评估模型,为保证模型输入的一致性和规范性,采用统一的可信证据分析度量方法对评估模型进行约束;然后采用基于公理证明的可信融合算法对可信数据进行融合;最后根据评估过程和结果信息深入开展可信性分析,挖掘更多的软件可信信息,生成可信性增强策略和规范。应用结果表明,该方法科学性、规范性较强,评估结果准确性较高,能够有效促进装备软件可信性的提升。     

基于缺陷分析与测试评审的软件可信性评价方法

该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,以软件缺陷入手,评估软件的安全性、隐私性、容错性;以扩展软件测试入手,评估软件的正确性、可靠性;通过这5个素的评估,最终考量软件的可信性。通过这种方法,从以上5个维度对软件可信性进行量化评价,并发现设计初期引入的缺陷,提高了软件开发的质量和效率。     

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation, GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。     

基于软件质量模型构建软件可信性评估系统

文章基于软件质量模型的研究成果,分别从认知软件可信性的角度、量化可信性指标的角度以及如何评估软件可信性的角度对软件可信性进行阐述。为了对软件可信性实现量化评估,提出由指标模型层、评估过程和信息层3部分组成的软件可信性评估系统。     

基于全生命周期的可信软件评价研究述评

针对软件可信性评价问题,将软件全生命周期分为开发过程和运行维护两个阶段,运用文献分析法对2006年-2015年国家自然科学基金委在可信软件领域资助的情况进行分析,系统研究了国内外可信软件评价相关最新研究成果.在可信软件过程评价方面,主要侧重于可信软件过程实体可信、过程行为可信以及过程能力可信评价模型研究;在可信软件产品评价方面,主要侧重于保密安全性、生存性、容错性、可靠性、可靠安全性、实时性研究.从学科分布来看,可信软件研究充分体现管理学、软件工程、计算机科学技术等多学科交叉特征.     

基于灰色关联的动态信任模型研究

本文以开放式网络中主观信任为研究对象,提出了一个完整的信任评估模型。利用灰色系统理论的相关原理,文章给出了评估对象可信度模型,并对可信因素进行度量。实例表明,该模型不仅发挥了灰关联分析可靠性高,所需样本少等优点,而且很适合作自动化处理,是一个既能反映主体信任的灰性,又具直观,简洁语义的定量描述机制,为网络环境中的信任计算提供了一个具有实用价值的新方法.为实体可信性评判和推断的依据,为下步提高实体可信性的评估途径提供参考。     

基于二叉推荐树的可信评估模型

在网络安全领域,可信被定义为一个实体期望另外一个实体执行某个特定动作的可能性大小。为了加强网络的安全性,允许某个结点去评估其他结点的可信性是非常重要的。本文主要讨论的是对可信事件的推荐评估。首先介绍了可信的相关概念和特性;接着,网络被抽象成一个有向图,在该图中,顶点代表实体或用户,边被看成可信关系,这样,评估过程可以看成是在有向图当中寻找最短路径问题,通过对影响推荐信任的因素分析,得到间接信任计算公式,为每个结点建立一个二叉推荐树,用来存储该结点能够推荐的结点以及这些结点推荐信任值,并在每个周期后动态地调整和整理该二叉推荐树;最后,对该模型的有效性进行了分析。     

一种面向软件行为可信性的入侵检测方法

针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示;然后,提出了检测方法和流程,通过数据挖掘方法对恶意软件和正常软件进行行为知识发现,利用发现的行为知识对未知软件进行行为可信性判定;最后,对方法进行了实现,对一些行为模式使用选定的样本进行了实验验证.实验结果表明,该方法能够依据软件行为可信策略检测未知软件中的恶意行为,检测成功率高.     

一种服务质量可信的按需服务组合方法

为了解决开放、动态网络环境下的服务可信组合问题,特别是组合服务的可信度计算与评估,以及服务可信组合最优方案选择,提出一种服务质量(QoS)可信的按需服务组合方法。该方法根据单个服务的信任度值以及服务组合图的控制结构,构建基于QoS可信的服务组合信任模型,进行服务组合的信任合成与计算;基于该模型设计多约束条件下QoS可信的按需服务组合方案,采用粒子群算法进行优化求解,以此选择出可信度高的服务执行计划。面向物流领域配送管理需求实例进行了实证和实验研究,结果表明所提方法在求解多约束的可信服务组合优化上是有效、适用的,能够提高服务组合的可信性和成功率。     

P2P网络最可信路径算法

针对分布式环境下P2P网络的特点,以及间接获取信息时的可信性,定义了间接获取信息时两个节点之间路径可信度的相关概念,提出了两个节点之间的最可信路径算法、最小可信路径算法,量化了最可信和最小可信路径的可信度,量化了两个节点之间传输消息时可信度的分布区间,分析了最可信和最小可信路径算法具有多项式的时间复杂度.通过典型应用,验证了最短路径并非最可信路径,最可信路径选择具有重要的使用价值.特别是在大规模分布式环境中,为人们从最可信路径获取信息提供了保障.     

诚信与旅游可持续发展关系研究

随着市场经济的发展,旅游业中出现了许多不诚信经营的行为,如旅游市场的无序竞争、售假欺客,旅游企业的违规经营、诱导游客等现象,严重阻碍了旅游业的可持续发展.从诚信的含义出发,阐述了旅游业中诚信缺失的表现及主客观原因,并从旅游可持续发展内涵的3个方面即旅游资源可持续发展、旅游经济可持续发展、旅游社会可持续发展,阐释了诚信与旅游可持续发展的关系,最后提出了建立诚信体系、规范旅游企业的经营行为、培养旅游者成熟的消费心理和消费行为、加强诚信教育等实施诚信旅游战略的可行性措施.     

An approach of trustworthy software design with automatically adapting software update

In this paper,we merge software trustworthiness with software design and present an approach to trustworthy software design with an automatically adapting software update.First,software behavior and results can be expected and behavior states can be monitored when a software runs by introducing a trustworthy behavior trace on a software and inserting a checkpoint sensor at each checkpoint of the trustworthy software.Second,an updated approach of the trustworthy behavior trace for the software at the level of checkpoints is presented.The trustworthy behavior traces of the software for two versions can be merged adequately by constructing split points and merge points between two trustworthy behavior traces.Finally,experiments and analyses show that:① the software designed by our approach can detect and report the anomaly in a software automatically and effectively,so it has a higher ability of trustworthiness evaluation than the traditional software;and ② our approach can realize the accurate update of the trustworthy behavior trace with a lower space overhead of checkpoints when the software updates.     

一种基于意图隐藏的对等网推荐可信度评价模型

对等网信誉系统的一个关键问题是如何提高推荐信息的可用性。现有模型将推荐节点的交易可信度等同于其推荐可信度,因而容易造成恶意推荐节点对信誉系统的虚假推荐和共谋推荐攻击。提出了一种基于意图隐藏的推荐可信度评价模型。在该模型中,一方面恶意推荐节点无法判断节点的查询意图,因而很难采取针对性行为;另一方面,基于历史推荐满意度的评价方法能对节点的推荐可信度进行有效评价。分析和仿真结果验证了模型的有效性。     

一种用于Web服务选择的QoS可信性评估方法

改进了一种基于服务质量（quality of service,QoS）可信性的Web服务选择方法.根据质量属性的类别,在第二类质量属性中引入惩罚因子和时间参数,不仅加快此类属性评估向真实值收敛的速度,而且还对发布虚假属性值的服务提供者进行了惩罚;在第三类质量属性中引入服务价格参数,降低了服务请求者遭遇团队欺骗的风险.结果表明改进后的方法能有效地提高QoS评估的可信性.     

当前高职学生的诚信危机及对策研究

当前,诚信危机成了大学生中较为突出的一个问题。诚信教育对于正逐步迈入社会的大学生来说显得尤为重要,培养高职学生诚信理念成为当前高职院校思想政治工作的重要任务。该文针对当前高职学生诚信缺失的现状,分析其产生的原因,并提出了实施高职学生诚信教育的策略。     

基于决策树方法的银行客户信用评估

分析了传统银行客户信用评估方法存在的问题，针对ID3算法存在的不足，提出了一种改进的ID3算法．实验结果表明，改进后的ID3算法分类正确率有所提高，所生成的决策树较为健壮、简洁，可以减少计算代价，提高计算效率．