您的位置： 专家智库 > >

李梦君

作品数：47 被引量：291H指数：10
供职机构：国防科学技术大学计算机学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术文化科学电子电信更多>>

合作作者

文献类型

  • 39篇期刊文章
  • 6篇会议论文
  • 2篇学位论文

领域

  • 39篇自动化与计算...
  • 7篇文化科学
  • 4篇电子电信

主题

  • 16篇安全协议
  • 10篇形式化
  • 8篇形式化验证
  • 7篇计算机
  • 6篇课程
  • 6篇教学
  • 4篇虚拟现实
  • 4篇网络
  • 4篇逻辑程序
  • 4篇漫游
  • 4篇进程代数
  • 4篇安全协议验证
  • 4篇HORN逻辑
  • 3篇语义WEB服...
  • 3篇认证性
  • 3篇图形学
  • 3篇网络安全
  • 3篇计算机图形
  • 3篇计算机图形学
  • 3篇计算机网

机构

  • 46篇国防科学技术...
  • 15篇北京航空航天...
  • 1篇北京跟踪与通...
  • 1篇长沙大学
  • 1篇四川大学
  • 1篇中国科学院
  • 1篇国防科技大学
  • 1篇北京航天飞行...

作者

  • 47篇李梦君
  • 27篇李舟军
  • 10篇周倜
  • 10篇陈火旺
  • 6篇张茂军
  • 6篇李云浩
  • 5篇王挺
  • 5篇周会平
  • 4篇齐越
  • 3篇王杰生
  • 3篇邢建英
  • 3篇杨冰
  • 3篇刘锋
  • 2篇欧国东
  • 2篇刘万伟
  • 2篇刘春林
  • 2篇潘国腾
  • 2篇吴玲达
  • 1篇王巾盈
  • 1篇齐治昌

传媒

  • 9篇计算机工程与...
  • 6篇计算机科学
  • 5篇小型微型计算...
  • 5篇软件学报
  • 4篇计算机研究与...
  • 4篇计算机教育
  • 3篇计算机学报
  • 2篇2008年全...
  • 1篇计算机应用
  • 1篇现代图书情报...
  • 1篇高等教育研究...
  • 1篇第九届全国多...
  • 1篇第四届中国A...

年份

  • 1篇2020
  • 1篇2018
  • 1篇2016
  • 1篇2014
  • 1篇2013
  • 2篇2012
  • 3篇2011
  • 1篇2010
  • 2篇2009
  • 7篇2008
  • 7篇2007
  • 8篇2006
  • 2篇2005
  • 3篇2004
  • 1篇2003
  • 1篇2002
  • 4篇2001
  • 1篇2000
共 47 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
安全协议形式化验证技术的研究与实现
协议是指两个或者两个以上的参与者为完成某一项特定任务相互约定的执行步骤和执行规则。协议的定义包含三层含义:(1)协议至少有两个参与者;(2)协议在参与者之间表现为消息交换和消息处理交替进行的一系列步骤;(3)协议的执行是...
李梦君
关键词：安全协议安全性质形式化验证HORN逻辑
文献传递
球面虚拟空间构造及实时漫游
在基于图象渲染(Image Based Rendering)技术的虚拟现实系统中，球面虚拟空间与 柱面虚拟空间相比，具有不受上下观察范围限制等优点。特别是用于表现三维室内场景，球面虚拟空间比柱面虚拟空间优越得多。该文提出...
李梦君张茂军杨冰李云浩
关键词：实时漫游
文献传递
球面虚拟空间的自由漫游被引量：12
2001年
在基于图象的虚拟空间中 ,自由漫游是目前虚拟现实领域研究的热点 .同心圆拼图法是解决这个问题比较好的方法 .但是这个方法只解决了柱面投影的问题 ,用户在垂直方向的视域是固定的 .而在许多应用中 ,用户需要进行俯视和仰视 .为此 ,我们扩展了同心圆拼图法 ,运用同心球拼图法增加用户的视域范围 .
齐越徐玮李梦君李云浩张茂军
关键词：全光函数虚拟现实自由漫游计算机图形学
一种基于抽象解释和通用单调数据流框架的值范围分析方法被引量：11
2006年
安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定义、分析和完整的正确性证明.与一般的值范围分析方法不同,该框架不仅包括抽象解释,还包括与之对应的具体解释,以及相应的正确性证明.
姬孟洛王怀民李梦君董威齐治昌
关键词：编译器优化软件工程
安全协议形式化验技术的研究与实现
李梦君
关键词：计算机网络通信协议网络安全安全协议形式化验证
一种基于进程代数的安全协议验证消解算法被引量：1
2006年
安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统。将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证。本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行验证。
刘万伟周倜李梦君李舟军
关键词：安全协议进程代数保密性认证性
基于Event-B方法的安全协议设计、建模与验证被引量：3
2018年
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证.
李梦君潘国腾潘国腾
关键词：安全协议设计精化
基于进程代数的安全协议分析与验证被引量：1
2003年
Process algebra is the theories for concurrency. Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols. In the paper, we outline these methods, especially the symbolic trace analysis method the bisimulation method.
李梦君李舟军陈火旺
关键词：网络攻击安全协议进程代数计算机网络网络安全
Stanford大学《人机交互》MOOC课程的分析
为学习国际知名高校MOOC课程的先进理念,本文以Coursera上的、Stanford大学的Human-Computer Interaction课程为案例，探讨MOOC课程是如何开展的。该课程已经过三轮迭代，在学生作业...
叶常春李梦君
关键词：师生互动
虚拟空间会议系统中视频合成技术的研究与实现被引量：8
2001年
虚拟空间会议系统能够把所有与会者合成同一个虚拟会场中 ,从而构造一个能提供无缝的会场环境、眼神接触、凝视感知等普通多媒体会议系统不具备的虚拟协同工作环境 .VST系统是我们刚刚完成的一个虚拟空间会议系统 .视频合成技术是其实现的关键技术之一 .本文介绍了 VST系统中视频合成技术的研究与实现 .
杨冰李梦君张茂军李云浩吴玲达
关键词：虚拟空间会议系统视频合成视频编码
全选 清除 导出
共5页<12345>
聚类工具0