您的位置: 专家智库 > >

刘靖

作品数:66 被引量:68H指数:4
供职机构:内蒙古大学计算机学院更多>>
发文基金:国家自然科学基金内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术文化科学交通运输工程电子电信更多>>

文献类型

  • 31篇期刊文章
  • 26篇专利
  • 5篇会议论文
  • 2篇学位论文
  • 2篇科技成果

领域

  • 34篇自动化与计算...
  • 6篇文化科学
  • 1篇电子电信
  • 1篇交通运输工程

主题

  • 18篇网络
  • 9篇着色PETR...
  • 8篇下载
  • 8篇服务器
  • 6篇资源下载
  • 6篇路由
  • 5篇点播
  • 5篇资源服务
  • 5篇资源服务器
  • 5篇开销
  • 5篇课程
  • 5篇教学
  • 5篇P2P网络
  • 4篇数字资源
  • 4篇版权
  • 4篇CPN
  • 4篇PETRI网
  • 3篇云计算
  • 3篇容错
  • 3篇自组网

机构

  • 42篇内蒙古大学
  • 32篇中国科学院
  • 2篇中国科学院研...
  • 1篇湖南大学

作者

  • 66篇刘靖
  • 26篇李军
  • 18篇叶新铭
  • 12篇马晨光
  • 9篇吴海博
  • 8篇许岗
  • 8篇白翔宇
  • 8篇张珺
  • 7篇蒋海
  • 4篇金海和
  • 4篇高海强
  • 4篇杨平改
  • 4篇刘宁
  • 4篇周建涛
  • 4篇王展
  • 3篇张玉军
  • 3篇翟海滨
  • 3篇张君
  • 3篇贾垒
  • 3篇许智君

传媒

  • 3篇计算机应用
  • 3篇计算机科学
  • 3篇计算机科学与...
  • 3篇内蒙古教育(...
  • 2篇东南大学学报...
  • 2篇计算机学报
  • 2篇计算机应用研...
  • 2篇软件学报
  • 2篇系统仿真学报
  • 2篇解放军理工大...
  • 2篇计算机教育
  • 1篇计算机工程与...
  • 1篇高技术通讯
  • 1篇小型微型计算...
  • 1篇北京邮电大学...
  • 1篇南京师范大学...
  • 1篇第二届全国W...
  • 1篇第七届中国测...
  • 1篇第十四届全国...

年份

  • 2篇2024
  • 1篇2022
  • 3篇2021
  • 3篇2019
  • 3篇2018
  • 5篇2017
  • 4篇2016
  • 4篇2015
  • 7篇2014
  • 4篇2013
  • 4篇2012
  • 8篇2011
  • 2篇2010
  • 9篇2009
  • 4篇2008
  • 2篇2006
  • 1篇2005
66 条 记 录,以下是 1-10
排序方式:
基于CPN的可信路由器发现协议建模与仿真分析被引量:2
2012年
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。
张珺刘靖叶新铭许智君
关键词:着色PETRI网性能分析
基于Colored Petri网的安全协议描述和验证被引量:3
2006年
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性。本文将使用具有强数学基础和强分析能力的着色 Petri 网(Colored Petri Net,简称 CP-Nets)对 NS 公钥认证协议(Needham-Schroeder Public-Key Authentication Protocol)送行建模.在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法。
刘靖叶新铭
关键词:CP-NETS
融合P2P技术的云平台快速内容分发方法被引量:2
2017年
云存储服务在内容分发过程中的数据传递协议通常采用超文本传输协议(HTTP),当大量客户端在短时间内向云存储服务器发出下载同一文件的请求时,会造成云服务端带宽压力过大以及客户端下载过慢的问题。为有效解决该问题,提出了一种融合Peer-to-Peer(P2P)技术的云平台快速内容分发方法,在内容分发过程中构建动态的HTTP和P2P协议转换机制,实现快速内容分发。选取用户类型、服务质量、时间收益、带宽收益等四种协议转换度量指标,并基于OpenStack云平台实现了所提出的动态协议转换方法。实验结果表明,与仅使用HTTP或P2P协议的内容分发方式相比,动态协议转换方法能够保证客户端用户总是获得较短的内容下载时间,同时,当P2P客户端数量较大时能够有效节约服务提供商的带宽资源。
刘靖赵文举
关键词:PEER-TO-PEER服务质量OPENSTACK
基于虚拟机部署策略的云平台容错即服务方法被引量:2
2015年
针对如何充分利用云基础架构层资源,满足上层云应用系统租户对应用系统容错的需求多样性和高可靠性要求的问题,提出一种面向租户和云服务提供商的、基于虚拟机部署策略的云平台容错即服务方法。该方法根据租户的特定容错需求适配适合的容错方法及容错级别,据此计算并最优化云服务提供商的收益和资源使用量,在此基础上对提供容错服务的虚拟机进行优化部署,充分利用底层虚拟机资源为租户的云应用系统提供更为可靠的容错服务。实验结果表明,所提方法能够在保障云服务提供商收益的基础上,为多租户云应用系统实现更灵活且可靠性更高的容错服务。
刘晓霞刘靖
关键词:高可靠性
非稳态拓扑下的机会网络分层模型被引量:2
2015年
为了解决在消息敏感的机会网络中社团划分结果不可重用的问题,提出了一种与消息类型相匹配的机会网络分层模型.首先,将机会网络的物理节点集映射为与消息类型匹配的虚拟节点集,并以此为基础建立虚拟机会网络层;然后,在虚拟机会网络层上,建立虚拟节点集的社会关系;最后,对虚拟节点集的社会关系进行社团划分.实验结果表明:在消息数量相同的条件下,当消息序列中相邻位置消息的类型差异度分别为40%和100%时,在虚拟层上进行社团划分的时间与在物理机会网络上直接进行社团划分的时间相比分别减少约58%和89%;基于分层模型的社团划分的运行次数仅依赖于消息类型的数量,而不会随消息数量或消息序列中不同类型消息交错方式的变化而变化.
许岗金海和刘靖
关键词:机会网络敏感性社团划分
BitTorrent协议的Petri网建模方法研究被引量:3
2011年
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。
刘靖叶新铭李军
关键词:BITTORRENT协议着色PETRI网
P2SP网络中资源的下载方法及系统
本发明涉及P2SP网络中资源的下载方法及系统,方法包括:资源管理和授权系统根据配置信息制作种子文件并进行存储;客户端将生成的注册信息发送给授权服务器,授权服务器根据接收的注册信息对客户端进行注册认证;资源管理和授权系统根...
李军刘宁刘靖杨平改马晨光
文献传递
一种可信路由器认证系统和方法
本发明公开了一种可信路由器认证系统及方法。该系统包括终端设备,接入路由器,多级中间路由器,信任锚路由器,所述路由器间构成一个分级的路由器层次信任结构;所述终端设备包括终端认证模块,用于在收到一未经认证的RA后,向该接入路...
张珺刘靖许智君张玉军李军叶新铭
文献传递
一种P2P网络中对等用户结点间的身份认证方法
本发明提供一种P2P网络中对等用户结点间的身份认证方法,P2P网络中的各个对等用户结点上有用户结点通过认证服务器登录网络时所获取的证书,证书包括认证服务器的私钥对用户结点的公钥的加密结果;该方法包括:第一用户结点向网络中...
李军刘靖杨国标
文献传递
一种数字内容网络版权管理系统和方法
本发明提供一种数字内容网络版权管理系统,包括数字内容管理中心、许可证授权管理服务器以及终端;其中,数字内容管理中心对数字内容进行加密,并对加密后数字内容以及该数字内容的密钥进行存储、管理;许可证授权管理服务器用于管理用户...
李军刘靖刘宁马晨光吴海博
文献传递
共7页<1234567>
聚类工具0