王振宇
- 作品数：3 被引量：3H指数：1
- 供职机构：安徽工业大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的安全协议分析
- 2008年
- 安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。
- 余道华黄瑾娉王振宇
- 关键词：PETRI网安全协议
- 一种基于XML的软件动态演化方法被引量：1
- 2009年
- 随着操作环境与用户需求的不断变化,现有系统无法满足新的处理需求。如何将现有系统的大量数据提取并完成新的应用是一个非常迫切需要解决的问题,而利用XML的可扩展性、开放性和互操作性等优点可以将现有系统的数据转化成新的应用。详细介绍了一种基于XML的动态演化方案并给出了方案的框架设计。该框架主要由DOM,XSLT,Xquery,XML,转换器等几部分构成。通过简单的应用实例展示了该方案可以基本实现系统的动态演化功能。
- 李申莉王振宇王亮方木云
- 关键词：可扩展标记语言文档对象模型XML查询
- REET无线传感器网络路由协议被引量：2
- 2008年
- 无线传感器网络是由大量传感器节点组成的自组织网络,具有密集性和随意分布的特点,可实现恶劣环境下的数据监测。根据网络的逻辑结构,可将面向WSN的路由协议分为平面路由和分层路由两种。典型的分层路由协议是LEACH协议和PEGASIS协议。树型无线传感器网络路由协议REET是在LEACH算法的基础上的改进,该协议可以有效降低节点能耗,使能耗均匀地分布在整个网络。
- 王振宇江克勤方木云邰伟鹏
- 关键词：无线传感器网络路由协议
