李建茹
- 作品数：2 被引量：6H指数：1
- 供职机构：唐山学院信息工程系更多>>
- 发文基金：河北省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Java语言中数组越界故障的静态测试研究被引量：1
- 2008年
- 面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
- 赵鹏宇李建茹宫云战
- 关键词：数组越界语法树控制流图
- 基于离线可信第三方的电子支付协议公平性分析被引量：5
- 2009年
- 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。
- 田树华陈立佳李建茹
- 关键词：电子支付协议串空间
