四川省教育厅重点项目(11ZA030)
- 作品数：2 被引量：2H指数：1
- 相关作者：胡玲李尧郝文李霖王红更多>>
- 相关机构：内江师范学院国家信息安全工程技术研究中心湖北大学更多>>
- 发文基金：四川省教育厅重点项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于状态的自动化无线协议安全测试平台设计被引量：2
- 2012年
- 针对无线网络协议中存在的安全隐患问题,提出一种基于状态的自动化无线协议安全测试平台以测试协议的安全性。在无线协议安全测试平台中基于状态的生成来分析该协议可能达到的所有状态空间,结合协议测试描述语言的定义生成测试序列,无线测试平台基于这些配置自动完成所有测试工作并能自动采集测试数据,得到测试结果。安全测试平台的实现基于独立分开的原则,即测试的控制管理与实现运行平台分开、测试过程的控制管理与测试结果的收集分析相分开,其技术方法结合了理论分析与实际测试的优点,基于该架构的安全测试平台能有效保证了协议测试的准确性,并且极大简化了测试工作的过程。
- 李尧胡玲郝文
- 关键词：无线网络安全测试
- 基于范畴论的形式化地理本体对齐和集成研究
- 2012年
- 本体对齐可解决本体间的异构,而范畴论可屏蔽本体间的异构性并为本体集成提供统一的方法框架。将范畴论引入本体对齐研究领域中,在范畴论的基础上,结合地理本体特征,对态射进行了重新定义,构造了一个更复杂的范畴。其中范畴中的对象为地理本体,而态射不仅能表达相等关系,也可以描述地理本体间的多种语义关系。在态射定义的基础上,根据态射的特性定义了本体对齐和本体对齐的复合,最后对本体集成进行了阐述。
- 胡玲李霖王红
- 关键词：态射外推
