董卫
- 作品数：30 被引量：14H指数：2
- 供职机构：山东农业大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学一般工业技术更多>>
- 二元文法
- 在正规文法的基础上,通过增加一个约束变量集合,给出了二元文法的定义,证明了二元文法与袋自动机的等价性,定义了平衡推导、递增推导、递减推导和传递推导,证明了它们与不变重复序列、增重复序列、减重复序列和传递重复序列之间的关系...
- 张继军费玉奎董卫
- 一种基于离散对数和背包问题的公钥密码体制
- 借鉴文献中公钥密码体制的构造方法，提出了一种基于求离散对数和背包问题双重困难性的公钥密码体制，进一步提高了体制的安全性。
- 董卫王婷婷
- 关键词：公钥密码体制离散对数问题
- 基于运行模式法的安全协议分析
- 安全协议的形式化分析是网络安全领域的研究热点。本文以运行模式法为基础,Petri 网为工具,给出一种分析安全协议的具体方法,并以 TMN 协议为例说明了该方法的有效性。
- 董卫王婷婷
- 关键词：安全协议
- 文献传递
- Petri网的状态转换图被引量：3
- 2008年
- 给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.
- 张继军吴哲辉董卫
- 关键词：PETRI网状态转换图
- 基于Petri网的构件组装运算及其性质
- 文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。
- 张继军董卫
- 关键词：PETRI网
- 文献传递
- 基于运行模式法的安全协议分析
- 安全协议的形式化分析是网络安全领域的研究热点。本文以运行模式法为基础，Petri网为工具，给出一种分析安全协议的具体方法，并以TMN协议为例说明了该方法的有效性。
- 董卫王婷婷
- 关键词：安全协议PETRI网网络安全
- 文献传递
- 基于Munsell空间的彩色图像分割方法
- 提出了一种基于Munsell空间的彩色图像分割算法,首先将图像的真彩色信息在RGB空间压缩到至多4096种颜色,而后转换到Munsell颜色空间,参照NBS距离与人类视觉对颜色差别的定量关系,做分割前的量化处理,形成图像...
- 王婷婷董卫
- 关键词：图像分割
- 文献传递
- 基于Petri网的认证协议分析
- 认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过一个实例说明了该方法的有效性。
- 董卫吴哲辉
- 关键词：PETRI网重放攻击网络安全形式化分析
- 文献传递
- 基于Java Web的毕业设计选题系统设计与实现被引量：1
- 2022年
- 设计并实现一个毕业设计选题系统对提高指导教师和学生双向选择的效率、解放手工劳动具有重要意义。该文在充分调研需求的基础上,基于Java Web技术设计并实现了该系统,系统采用流行的SSM框架开发,Web服务器采用Tomcat,数据库服务器采用Mysql,涉及超级管理员、部门管理员、教师和学生这4种角色,可支持多个部门同时使用,在实际应用中取得了良好的效果。
- 董卫王婷婷徐剑
- 关键词：JAVAWEBSSM
- 基于Munsell空间的颜色量化算法
- 提出了一种基于Munsell空间的颜色量化算法。该算法根据人类的视觉特性，参照NBS距离与人类视觉颜色差别的定量关系,结合具体图像的色彩分布,对真彩色图像进行Munsell颜色空间下的量化.实验表明,较之传统的量化算法,...
- 王婷婷董卫
- 关键词：视觉特性图像色彩
