公共文化服务平台

P2P环境下基于信誉的信任模型研究被引量：17: 2009年; 随着P2P(peer to peer)系统得到日益广泛的使用,其面临的服务欺骗和节点资源滥用等可信问题也越来越严重,传统的安全方案已经不能适应这种需求,基于信誉的信任模型为解决这类问题提供了一种新的思路。分析了信任与信誉的关系,给出了一种基于信誉的信任模型的基本运行框架,对当前典型的基于信誉的信任模型进行了综述与评论,并对这些模型进行了比较分析。最后讨论了当前研究存在的问题,并对未来的研究方向作了展望。; 胡建理吴泉源周斌; 关键词：P2P 信任模型

BaiMaiCl:面向小型软件开发的持续集成环境: 持续集成开发技术发展迅速,被广泛应用到各种类型的软件开发过程中,其中小型软件开发是最主要的应用领域之一。本文针对小型软件持续集成开发过程中存在的一些突出问题,在提出通用持续集成环境组成框架的基础上,设计了面向小型软件开发...; 周磊郭长国邹鹏王涛; 关键词：软件工程; 文献传递

基于面向方面编程的线程自主管理被引量：1: 2008年; 将面向方面编程的关注点分离思想应用于线程运行的自主管理研究中,提出面向方面的线程自主管理模型,在此基础上实现通用线程自控制器(GTAC)。它能在不改变源程序的情况下织入系统内部,按照用户制定的策略,通过反射机制提供线程运行的自主管理功能。GTAC已实际应用到一个大规模高可用信息传输系统中,取得了良好的效果。; 张瞩熹李德彩王怀民刘海; 关键词：面向方面编程自主管理线程

面向Web服务资源的两层访问控制方法被引量：4: 2010年; Web服务资源具有静态的Web服务接口和动态的有状态资源两个组件。针对这两个组件的不同特征为它提出一种基于属性的两层访问控制方法(Two Level Attribute-Based Access Control,2L-ABAC)。2L-ABAC扩展基于属性的访问控制模型(Attribute-Based Access Control,ABAC),对这两个组件分别进行访问控制。ABAC系统的访问决定依赖于用户提供的主体属性,所以2L-ABAC采用策略发布机制告知用户所需的属性,并根据各层特征分别采用WSDL附件和元数据交换两种发布方式。除了分层设计带来的灵活性,2L-ABAC还继承了ABAC模型的特性,能够对来自其他安全域的用户进行访问控制。另外,它基于相关国际规范实现,如XACML和SAML,故具有通用性。; 霍远国马殿富刘建李竹青; 关键词：WEB服务资源 WSDL XACML SAML

一种激励相容的P2P信誉模型被引量：1: 2011年; 针对现有的信任模型不能很好地处理P2P网络环境中恶意节点提供虚假服务的欺诈行为,及不积极提供诚实推荐的问题,提出了一种激励相容的P2P信誉模型(简称ICRM)。该模型使用时间区间的概念来标示经验和推荐的时间特性,利用直接信任度、推荐信任度及推荐可信度等机制来精确描述节点的实际信任等级,并引入参与层次来度量节点提供推荐的积极程度,从而有效地识别与抑制不同类型的恶意节点,激励节点积极提供诚实推荐。仿真实验表明,ICRM能够有效地抑制恶意节点的欺诈行为及不诚实反馈行为,并能有效解决节点推荐积极性不高的问题。; 胡建理周斌周瑜吴泉源; 关键词：对等网络激励相容机制

一种非结构化数据库的四面体数据模型被引量：9: 2010年; 文中针对非结构化数据管理提出了一种四面体模型.该模型用4个刻面分别描述了一个非结构化数据的基本属性、语义特征、底层特征以及原始数据等组成元素,并描述了这些元素之间的内在联系.设计了四面体模型的实现结构以及数据操作语言.四面体模型能够实现各类非结构化数据的统一的、集成的以及关联的描述,并能够支持关联检索和数据挖掘等智能检索服务.最后给出了一个视频样例库中数据的描述与操作实例.; 李未郎波; 关键词：非结构化数据数据模型查询语言

植入式安全性质监控技术: 2008年; 针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力。; 彭中毛晓光谢彬; 关键词：安全性质对象约束语言面向方面编程

基于网络的可信软件大规模协同开发与演化被引量：24: 2014年; 随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.; 王怀民尹刚谢冰刘旭东魏峻刘江宁; 关键词：资源分享运行监控

一种基于注释的监控编程语言设计与实现: 面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出一种基于Java注释的监控编程语言,充分利用Java5....; 王涛郭长国邹鹏王晓斌; 文献传递

PSL的有界模型检验被引量：2: 2009年; 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.; 虞蕾赵宗涛

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2007AA010301)