国家自然科学基金(60425204)
- 作品数：3 被引量：4H指数：1
- 相关作者：郑晓梅张天更多>>
- 相关机构：南京中医药大学南京大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
- 2006年
- 大部分时间，自动机在文学到达能力分析算法由符号的状态的枚举探索状态空间，它使用时间限制代表一套具体状态。时间限制是绑了钟价值的差别的原子公式的一个连词。在这篇论文，算法产生的符号的状态的一些原子公式能被移开改进检查时间的模型，这被显示出 --andspace 效率。如此的原子公式作为无关的原子公式被叫。一个方法也被介绍基于钟变量的测试重设信息检测无关的公式。一个优化检查模型的算法基于这些技术被设计。案例研究证明显著地在这篇论文介绍的技术改进空间效率和时间效率 ofreachability 分析。
- 赵建华李宣东郑滔郑国梁
- 关键词：可达性时钟变量
- XML联合签名
- 2010年
- 首先分析了目前Web服务架构中XML多方通信业务链的典型应用,并建立了相应的研究模型。基于此模型,提出了联合签名加密技术,以解决传统签名技术在此类应用中存在的重复签名、信息关联不严格等问题。同时,分析了通过现有XML签名规范实现该技术的局限性,进而提出了新的XML联合签名实现方案。最后给出了XML联合签名的语法定义。
- 郑晓梅张天
- 关键词：XML签名
- 一个基于Eclipse的通用Java程序插桩工具被引量：4
- 2011年
- 插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代码,致使调试过程变得更加复杂和困难。针对这些问题,提出了一个基于Eclipse的通用Java代码插桩工具,即通过规则定义匹配程序的执行点,从而定制针对各种分析、测试和验证插桩需求的支持。通过对插桩代码片段的显式/隐式切换实现其可见性管理,从而确保程序的理解和调试过程不受插桩代码影响。通过使用该工具,可以更好地将插桩技术应用于Java程序开发中。
- 郑晓梅
- 关键词：程序插桩JAVAECLIPSE插件
