李亚敏
- 作品数：10 被引量：32H指数：4
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：自动化与计算机技术电子电信天文地球文化科学更多>>
- 试论NPA和SVO计算模型的关联
- 2001年
- 我们介绍了一个密码协议的计算模型，它作为BAN家族、SVO中的逻辑语义，对于BAN家族和SVO这个逻辑是有效的。我们把自己的计算模型与另一个有联系的NRL协议分析顺进行了比较。通过说明如何把这些模型联系起来，我们提供了统一分析折基础，在统一分析中每一个分析工具都能发挥它们在单个模型背景下所能发挥的最大作用。
- 李亚敏
- 关键词：BAN逻辑密码协议认知逻辑
- 构建注重培养学生创新能力的实验教学环境被引量：1
- 2002年
- 本文通过分析工程技术院校建立开放性综合实验室的必然性及实验教学环境、体制的现状，指出了在当前形势下，应促进实验室体制改革，努力构建注重学生创新能力培养的实验教学环境。
- 李晓李亚敏吴果
- 关键词：实验室教学环境高校教学改革
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 文献传递
- Web GIS安全架构的设计与实现被引量：5
- 2003年
- 在分析WebGIS安全威胁的基础上 ,按照PDR(Protection ,DetectionandResponse)模型 ,提出了具有安全防护、入侵监测。
- 牛光汪筱平李亚敏吴果
- 关键词：WEB安全体系架构PDR模型入侵监测
- 一种改进的远程屏幕图像实时传输方法被引量：9
- 2007年
- 在深入分析现有屏幕图像传输方法的基础上,提出了一种改进的远程屏幕图像实时传输方法,将色彩过滤、“格”、异或和帧间分块压缩结合起来,在屏幕图像采集和压缩两个方面进行了改进。实验结果表明,该方法在保证图像质量的前提下,缩短了屏幕图像处理时间,减少了数据传输量,提高了传输速度。
- 李小鹏刘连东李亚敏郁滨
- 计算机系统结构研究
- 本文系统的概述了计算机系统结构，并对计算机系统机构的一般设计思路和发展情况进行了介绍，重点介绍了三种计算机系统常用的分类方法，01对计算机系统结构的发展趋势进行了展望。
- 李亚敏帅飞王晋东
- 关键词：计算机系统结构程序语言
- 基于MapX最短路径搜索算法研究被引量：4
- 2009年
- 在深入分析现有最短路径搜索算法和MapX空间特性的基础上,提出了一种基于MapX的局部最短路径搜索算法。该算法依据最短路径沿起点、终点连线方向可能性最大的特征,在小矩形范围内搜索,避免了因道路"振荡"而产生结果失真的问题,减少了搜索的节点数目,降低了搜索规模。实验结果表明,该算法搜索速度快,道路网络结构越复杂,其运行效率越高,具有很强的实用性。
- 李小鹏郁滨李亚敏
- 关键词：最短路径振荡局部搜索
- 身份认证的密钥交换算法被引量：12
- 2006年
- 密钥交换是通信双方建立会话密钥的过程,Diffie-Hellman协议是一种有代表性的算法,但是这种算法不能够抵抗中间人攻击。为了抵抗中间人攻击,陆续出现了几种具有身份认证功能的算法,但是这些算法运算比较复杂。Seo等提出了一种简单的算法(SAKA),可以抵抗中间人攻击,并且运算简单。但是SAKA以及其的增强算法均有缺陷,该文提出了一种改进算法,在具有原有协议优点的同时可以避免这些缺陷。
- 李亚敏李小鹏吴果
- 关键词：密钥协商中间人攻击
- 对安全协议的一些新攻击被引量：1
- 2001年
- 论文提出了很多对安全协议进行的新攻击，并且讨论将来如何避免设计不正确协议的方法．
- 李亚敏
- 关键词：安全协议信息安全计算机
- 几种密码协议验证工具的比较和分析
- 从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并...
- 李亚敏帅飞高鑫鑫
- 关键词：密码协议
- 文献传递
