公共文化服务平台

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

实时数据组播调度动态带宽分配方案被引量：5: 2009年; 针对多通道组播调度中数据分配不均带来的带宽浪费问题,提出3种动态带宽分配方案。根据数据项平均长度或数量改变分配优先级,对不同方案进行性能分析。实验表明,动态分配比静态分配最多可提高43%的带宽利用率,其中平均数据项长度最短优先分配最好。; 孙显军徐桐发刘卫东林闯; 关键词：数据分发带宽分配

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

基于交互模式的网格服务组合正确性的研究: 2008年; 服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.; 郭文彩林闯; 关键词：网格服务组合交互模式 PI-演算

一类不确定系统的保性能变结构控制被引量：2: 2011年; 针对一类不确定系统,提出了保性能变结构控制器的设计方法,首先设计了一个切换面,利用状态变换和线性矩阵不等式给出了滑动模态的存在条件和算法,使得滑动模态不仅渐近稳定而且满足给定的性能指标.其次利用模糊逻辑系统的万有逼近性能,设计了一种变结构模糊控制律,该控制律能使空间任意点出发的系统状态都在有限时间内到达切换面并渐近到达原点.最后,一个仿真例子说明了所给方法的有效性和可行性.; 李亚男王玉光; 关键词：自适应模糊控制器时滞不确定性线性矩阵不等式

一种基于用户行为信任的动态角色访问控制被引量：12: 2008年; 在基于角色的访问控制(RBAC)模型基础上,引入了属性的概念,增加了用户行为信任级别集合,建立了一种基于用户行为信任评估的动态角色访问控制(UT-DRBAC)模型。对新的模型进行了详细的形式化描述并讨论了模型的授权流程,最后从动态性、信任机制、角色数量和性能方面对模型的优越性进行了分析。新的访问控制模型通过角色属性的动态指派实现了模型授权的动态性,通过把用户信任级别作为一个必需的角色属性实现了基于身份信任和行为信任相结合的访问控制,改变了现有访问控制模型单一基于身份信任的静态授权机制;通过设置角色属性减少角色数量,从而缓解了因角色过多而带来的角色管理问题,同时提高了性能。; 田立勤冀铁果林闯杨扬; 关键词：访问控制

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

基于交互模式的网格服务组合正确性的研究: 服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机...; 郭文彩林闯; 关键词：网格服务组合交互模式 PI-演算; 文献传递

一种SaaS模式下平台运营商信任信息共享的博弈模型: 近年来软件即服务模式受到越来越多企业用户的欢迎.平台运营商是其中最重要的组成部分,平台运营商间相互提供客户信任信息可以最大程度上提高评估用户的信任可信度.建立一种基于信誉的激励机制,从博弈论的角度进行建模分析,推导出混合...; 陈亚睿杨扬田立勤; 关键词：软件即服务纳什均衡; 文献传递

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

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

国家自然科学基金(60673187)