您的位置： 专家智库 > >

内蒙古自治区自然科学基金(2011MS0912)

作品数：10 被引量：25H指数：3
相关作者：李华阮宏玮吴承勇夏兴行孙涛更多>>
相关机构：内蒙古大学中国科学院更多>>
发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 10篇期刊文章
  • 2篇会议论文

领域

  • 11篇自动化与计算...
  • 1篇电子电信
  • 1篇文化科学

主题

  • 3篇CPN
  • 3篇篡改
  • 2篇网页
  • 2篇文本检测
  • 2篇列生成
  • 2篇PETRI网
  • 1篇段式
  • 1篇多元化教学
  • 1篇多元化教学法
  • 1篇序列生成方法
  • 1篇学法
  • 1篇移动IP
  • 1篇任务驱动教学
  • 1篇任务驱动教学...
  • 1篇通信
  • 1篇通信方法
  • 1篇切换
  • 1篇驱动教学法
  • 1篇主成分
  • 1篇主成分分析

机构

  • 12篇内蒙古大学
  • 1篇中国科学院

作者

  • 10篇李华
  • 3篇阮宏玮
  • 2篇刘铁钢
  • 2篇叶新铭
  • 2篇庞滨
  • 2篇王小雨
  • 2篇吴承勇
  • 2篇董路路
  • 2篇王燕
  • 2篇卢慧
  • 2篇孙涛
  • 2篇夏兴行
  • 1篇敖腾河
  • 1篇洪有芬
  • 1篇贺楠
  • 1篇周建涛
  • 1篇刘靖
  • 1篇郭亚杰
  • 1篇吕亮亮
  • 1篇杨蒙

传媒

  • 3篇内蒙古大学学...
  • 2篇广西大学学报...
  • 2篇计算机科学
  • 1篇计算机研究与...
  • 1篇解放军理工大...
  • 1篇中国科技论文

年份

  • 3篇2014
  • 1篇2013
  • 6篇2012
  • 2篇2011
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
主成分分析法的网页篡改检测被引量：2
2012年
通过介绍网页在生活和应用中的重要性,说明网页篡改的主要方法以及特点。针对网页属性选取的规范化程度不高,规则不清晰和检测工作量很大等问题,提出对网页属性进行分类,对不同分类的属性采取适应性针对性规则处理方法,在保证效率的基础上实现降维处理,以减轻检测压力。提出利用主成分分析法对网页属性进行分类和规范化,并基于此提出指导性的实现网页防篡改检测系统规则。
阮宏玮刘铁钢李华王小雨
关键词：网页篡改主成分分析文本检测
一种基于CPN的协议测试序列生成方法被引量：6
2012年
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。
孙涛叶新铭刘靖杨蒙
关键词：着色PETRI网PCO
一种IPv4和IPv6混合网络中P2P通信方法
本文将IPv4/IPv6过渡技术的双协议栈技术和P2P系统结合起来,提出了IPv4/IPv6混合网络中基于请求转发机制的P2P通信方法,利用双协议栈结点作为中转结点来实现资源在整个P2P系统中的分布扩散。仿真实验表明本方...
卢慧李华
关键词：IPV4/IPV6混合网络P2P
文献传递
Web应用工作流的CPN建模及测试序列生成
2013年
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.
董路路李华张素梅
关键词：PETRI网CPN
基于阶段式的多元化教学法在《Web程序设计》教学中的应用
本文根据《Web程序设计》课程的特点,采用多种教学方法,提出基于阶段式的多元化教学法,并将该方法应用于课程教学中。实践证明该方法弥补了传统教学方法的不足,有利于提高学生动手能力。
卢慧李华
关键词：讲授法案例教学法任务驱动教学法WEB程序设计
文献传递
基于过滤驱动的文件防护系统的实现被引量：1
2014年
为了提高Web服务器的安全性,结合当前主流的防篡改技术,设计并实现了基于文件过滤驱动的文件保护程序.根据文件保护程度不同,将被保护文件分为两个不同保护等级,低级保护等级包括禁止写操作、删除操作、重命名操作,其中禁止写操作是通过禁止修改文件只读属性来控制.高级保护等级是通过Hook技术禁止对文件进行访问操作,实验表明通过这两种方法实现的文件驱动程序可以进一步加强服务器文件的安全性.
刘铁钢阮宏玮王燕庞滨李华
DNS服务器解析性能测试方案设计被引量：9
2011年
网络的迅速发展使Web的访问量大大增加,大量的Web访问都需要DNS服务器进行解析,将要访问站点的域名转换为IP地址。因此,DNS服务器的解析性能是非常重要的。然而域名解析系统的结构也在不断变化,对它的性能测试有一定的困难。文中通过分析不同结构的域名解析系统及其工作方式,将DNS服务器的解析总结为本地解析和非本地解析两种,然后根据这两种情形,进行有针对性的性能测试设计,提出了一种通用的DNS服务器解析性能测试方案,并以层次DNS作为被测,基于突发流量的情景进行了测试实验,得到了一些性能指标,最后给出全文总结及下一步工作。
郭亚杰李华敖腾河吴承勇夏兴行
关键词：DNS
基于层次CPN的OpenFlow建模研究
2014年
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。
李华贺楠董路路吕亮亮
关键词：CPN
一种针对CP-nets并发模型的验证方法
2014年
状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。
孙涛叶新铭
关键词：化简
基于Petri网的移动IPSec快速切换的建模与分析被引量：2
2012年
使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力.
王燕李华周建涛
关键词：PETRI网
全选 清除 导出
共2页<12>
聚类工具0