江西省教育厅科学技术研究项目(GJJ09247)
- 作品数：6 被引量：12H指数：3
- 相关作者：李淑芝杨书新彭洁江建慧郑剑更多>>
- 相关机构：江西理工大学同济大学更多>>
- 发文基金：江西省教育厅科学技术研究项目江西省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于标签转换系统的Web服务行为失配类型的判定方法被引量：2
- 2011年
- 目前,对于精确地确认失配类型,特别是如何区分未指定接收的失配和死锁的研究工作还较为缺乏。针对该问题,采用标签转换系统对Web服务的行为协议进行描述,并提出了一种基于该描述的失配类型判定方法,该方法不仅能识别常见的失配类型,而且还能借助对组合的可比较路径的判断区分未指定接收的失配和死锁。在服务交互过程中的典型应用表明,该方法对于服务失配类型的正确确认和服务的正确适配具有重要作用。
- 郑剑江建慧
- 关键词：WEB服务服务适配
- 面向.NET中间码的软件水印的设计与实现
- 2010年
- 提出了一种在.NET中间码层次上嵌入软件水印的新方法.该方法首先对中间码进行分块,然后对分块后的代码块进行顺序混淆,块之间的顺序代表所要嵌入的水印信息,最后插入无条件跳转指令使程序保持原来的语义.通过实验证明,该方法具有很高的鲁棒性,并为在低层编程语言中设计软件水印算法提供了可行的思路.
- 李淑芝陈亮
- 关键词：软件水印混淆鲁棒性
- 基于着色Petri网的Web服务组合建模被引量：3
- 2009年
- 用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.
- 李淑芝彭洁杨书新
- 关键词：WEB服务组合着色PETRI网服务网
- 基于CPN Tools的网上购物系统建模及合理性分析被引量：3
- 2011年
- 提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.
- 彭洁李淑芝杨书新
- 关键词：网上购物着色PETRI网
- 基于变量防篡改的动态图软件水印方案被引量：3
- 2011年
- 为了提高动态图软件水印的隐藏容量和鲁棒性,本文提出了一种基于变量防篡改的动态图软件水印方案。该方案利用不同进制形式的数可以相互转化的思想将大的水印信息分割成多个小的水印信息,然后将这些小的水印信息编码成一组图结构,动态地嵌入目标程序中。在编码水印信息时,利用动态图结构中结点的父指针来编码,并使其叶结点与目标程序变量关联,起到防篡改的作用,从而可对水印进行有效的保护。实验结果表明,嵌入水印信息后,目标程序的运行速度和结果都没有明显的变化,但水印对溢出攻击、扭曲攻击和附加攻击等都有明显的抵抗效果,水印也能够准确、方便地被提取出来。该方案的性能明显优于PPCT算法和常量防篡改水印算法。
- 李淑芝刘猛
- 关键词：软件水印动态图
- 基于弱同步的服务交互适配方法被引量：1
- 2010年
- 为了使各种行为或接口描述异构的服务能正确交互,提出了一种适配方法。该方法以消息映射规则描述消息和消息参数之间的映射关系,以标签转换系统来描述服务的行为,以同步向量来描述服务之间的交互,以弱同步的方式来控制服务之间的交互过程。通过算法和弱同步的思想解决了标签转换系统中无法实现消息存储转发功能的问题。实验结果表明,该方法不仅能解决消息和消息参数之间的基调失配,还能解决行为失配中未指定的消息接收失配。
- 郑剑江建慧
- 关键词：WEB服务协议适配映射
