公共文化服务平台

基于Petri网的数字媒体分发协议的安全性证明被引量：6: 2009年; 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.; 郭迎九林闯尹浩田立勤; 关键词：PETRI网安全协议数字媒体

IPTV数字内容版权保护安全协议的设计被引量：2: 2007年; 针对IPTV流媒体应用的特点,提出适应IPTV流媒体应用特点的适用于动态的、分布的、异构的、开放的网络环境下的数字版权保护协议,对网络中动态出现的内容服务提供了完善的数字版权保护功能,并具有跨网络安全域的特点。该协议在满足数字版权保护协议基本要求的同时,引入了版权中心和服务网关,以便更好地保证协议抗攻击的能力和内容提供者和消费者在版权方面的公平性。利用PETRI网的分析方法,对协议中各种变迁及状态变迁进行了分析。分析结果表明协议结果具有教强的安全性。; 郭迎九林闯尹浩; 关键词：IPTV 数字版权 DRM WEB SERVICE

ARM9上基于IFSF协议的FCC系统的设计: 2008年; FCC(Forecourt Controller)油站前庭控制器,是将加油站加油机、液位仪等非标准网络设备集成,向加油站管理系统提供统一标准网络接口(如Lon Works、Ethernet)及协议(如IFSF)的关键设备。IFSF(International Forecourt Standards Forum)是石油零售行业的国际标准组织,致力于协调石油零售行业前庭设备的可互操作性和通信标准。本文论述了以ARM9和Linux嵌入式系统为平台,基于IFSF协议的FCC的系统研制。; 陈福明王群田立勤

可信网络中基于AHP的用户行为评估性质及应用被引量：1: 2007年; 文献[3]讨论了可信网络中一种基于AHP的用户行为评估方法。该文在文献[3]的基础上进一步讨论了用户行为评估中各特性和各证据的权重、证据值的变化对用户行为评估值的影响进行了讨论,并论证了基于AHP的用户行为评估中的一个重要性质。在此基础上,介绍了该性质在用户行为控制中的应用。; 冀铁果胡志兴田立勤孙锦霞; 关键词：可信网络

可信网络中用户行为可信的研究被引量：90: 2008年; 目前网络安全受到严重的挑战,国际研究表明网络安全正向着网络可信方向发展,未来网络安全是增加行为可信的可信网络,它主要包括服务提供者的可信、网络信息传输的可信和终端用户的可信.通过研究用户的行为信任,不仅可以减少或避免与恶意用户交往,而且因为服务提供者与用户之间建立了互信,从而提高了它们合作完成任务的可能性,降低了因不信任带来的监控和防范等额外开销,所以对用户行为可信的研究不仅可以提高网络的安全性而且也可以提高网络的性能.以可信网络中用户行为可信研究为核心,提出了面向可信网络的用户行为信任的评估、预测与控制架构,包括行为信任的可靠评估;满足不同安全与性能需求的灵活的信任预测;基于信任与风险、利益得失的系统访问博弈决策;基于信任的动态的资源访问控制和以信任预防为主,实时监控为辅的异常行为的监控与防范等.并把这些用户行为可信管理机制进行有效组合,实现了动态控制与静态控制,信任与风险的统一,为可信网络的进一步研究提供基础.; 林闯田立勤王元卓; 关键词：可信网络

可信网络中一种基于行为信任预测的博弈控制机制被引量：82: 2007年; 近年来,网络可信的研究已成为一个研究热点,其中用户的行为信任研究是网络可信研究的重要内容之一.由于用户行为信任的评估是基于过去交往的行为证据之上,而我们需要的是未来的用户行为信任等级,因此科学地预测未来用户的行为信任等级是非常必要的,文中首先论述了如何利用贝叶斯网络对用户的行为信任进行预测,提供的机制不仅可以预测单属性条件下的行为信任等级,而且可以预测多属性条件下的行为信任等级.由于信任和风险是并存的,单独依靠预测的信任等级进行决策是非常片面和危险的,因此该文的其余部分将行为信任预测结果和博弈分析相结合对双方的支付矩阵进行分析,计算出了基于用户安全行为属性的混合纳什均衡策略,证明了服务提供者进行控制的决策条件,得出了相关的一些重要性质,最后通过一个例子来说明论文的应用.该文的结果对于量化分析用户行为信任具有重要的理论意义.文章在分析过程和实例中结合了数字化电子资源的实际网络应用背景,因此该机制在实际的网络应用中同样具有重要的指导意义.; 田立勤林闯; 关键词：可信网络行为信任

利用无私节点改善基于支付机制P2P应用的性能被引量：3: 2008年; P2P应用中引入支付机制能够激励用户共享自己的资源来换取他人的服务,但缺点是用户获取货币能力不均衡会导致一些用户难以获得服务.文中提出加入一定的无私节点来提供基本服务保障时间来改善网络可用性的思路,并采用排队论理论对加入无私节点的网络性能进行了建模分析,得出系统请求平均等待时间、请求分配比例、服务保障时间和无私节点比例之间的函数关系,对于评估和优化系统性能有一定的指导意义.; 彭冬生林闯刘卫东; 关键词：性能分析排队论支付机制 P2P

网络保护质量研究被引量：12: 2008年; 随着人们的网络安全意识不断增强,迫切需要一套可度量、可量化的指标来评价系统安全保护的质量.作为网络安全领域的一个新概念,网络保护质量(Quality of Protection,QoP)能为不同的用户和业务提供不同等级的安全保证,满足日益复杂网络环境下的安全需求,在国内外受到广泛关注.文章综述了不同应用背景下QoP的含义,提出了QoP的定义及其评价指标,分析了目前QoP的体系结构、评价模型及实现机制,并对今后的研究方向进行了展望.; 林闯肖岩平王元卓曾荣飞; 关键词：评价指标服务质量

新一代网络QoS研究被引量：43: 2008年; 随着网络技术和应用的飞速发展,互联网的接入形式以及网络应用日益呈现出复杂、异构和泛在等特点,当前的网络已经暴露出诸多不足,在很多方面无法满足用户对服务质量(QoS)的要求.当前互联网的QoS体系结构及相关技术已经不能适应新一代网络应用的进一步发展.文章着眼于未来互联网的发展方向,从网络QoS体系结构、实时QoS保证、融合QoP的QoS控制以及QoS性能评价理论等几个方面论述新一代网络QoS面临的挑战和解决思路,探讨了新一代网络QoS的发展方向.; 林闯王元卓任丰原; 关键词：性能评价

基于博弈论框架的用户行为决策模型被引量：3: 2008年; 从风险与安全的角度提出一种新的用户行为决策模型,将服务提供者和用户作为非合作博弈的对立方,在不完全信息静态博弈的基础上研究博弈参与者之间的交互行为。从博弈参与者的相互依赖的行动选择角度建立博弈模型,求出最优混合策略。在此基础上,服务提供者从最大化自己利益的角度作出决策。; 孙锦霞廖福成田立勤冀铁果; 关键词：博弈论服务提供者用户纳什均衡

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

国家重点基础研究发展计划(2006CB708301)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家重点基础研究发展计划(2006CB708301)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈