湖北省自然科学基金(2009CDB293)
- 作品数：6 被引量：18H指数：3
- 相关作者：何成万张慧张立军胡宏银于文兵更多>>
- 相关机构：武汉工程大学武汉理工大学更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- AOP中方面冲突自动检测方法研究
- 2012年
- 为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突。该方案不破坏现有的应用程序,且无需重新设计编译器。通过一个实例表明该方案的可行性。
- 胡宏银何成万
- 关键词：面向方面编程契约式设计
- 支持多种安全级别的文件加密工具设计被引量：6
- 2011年
- 针对目前加密工具存在加密算法单一、密钥管理不方便、密文文件共享不安全、文件重要性未区分等问题,设计了一个支持多种安全级别的文件加密工具。该工具的密钥随机生成,按用户分组组织,保存于密钥文件中,并按照文件的重要性,把它分成一般、中等和高3个安全级别。一般和中等安全级别文件加解密时,自动从密钥文件中查找密钥,而后者解密时需要进行用户认证,高安全级别文件的密钥不在密钥文件中,加密时随机生成,用投票者的公钥加密后保存到服务器,解密时需要所有投票者同意才能解密。该工具加密时随机选择加密算法,密钥无需用户记忆,通过密钥管理保证不同级别密文文件共享的安全,既具有操作的方便性,又具有较高的安全性。
- 胡宏银何成万
- 关键词：用户认证投票加密
- MA-Datafly:一种支持多属性泛化的k-匿名方法被引量：6
- 2013年
- Datafly算法是数据发布环境下保护数据隐私的一种k-匿名方法,实现k-匿名时只对准标识符属性集中属性值种类最多的属性进行归纳。当准标识符属性集中只有一个属性的取值多样而其他属性取值具有同质性时,该算法可行。实际应用中数据的取值却往往不具有这种特点。针对这个问题,提出一种自底向上的支持多属性归纳k-匿名算法,并对该算法进行实验测试,结果表明该算法能有效降低原始数据的信息损失并能提高匿名化处理效率。
- 吕品钟珞于文兵何成万
- 关键词：K-匿名隐私保护
- 基于反射的AOP系统实现方法
- 2010年
- 当AOP系统中的基础程序的结构发生变化时,会导致脆弱的切入点问题(Fragile Pointcut Problem)。提出一种基于反射的脆弱的切入点问题的解决方法,通过程序转换实现切入点的正确匹配。重点介绍程序转换算法及其基于Eclipse平台的支撑工具实现方法。
- 张立军张慧何成万
- 关键词：AOPECLIPSE
- 基于元数据和反射的面向方面软件演化方法被引量：6
- 2011年
- 面向方面软件中的基础程序的结构信息发生变化后,会导致意外的连接点丢失问题.其原因在于连接点的定义紧紧地依赖于基础程序的结构,这种紧密的耦合严重阻碍了面向方面软件的演化.提出一种基于元数据和反射的面向方面软件演化方法.在连接点定义和基础程序之间加入概念层,以实现连接点定义和基础程序结构的解耦.概念层模型用于描述基础程序的逻辑信息、物理信息,以及这两类信息之间的映射关系.基于Java Annotation元数据机制在基础程序中使用逻辑信息对程序结构进行标注,同时,使用逻辑信息定义连接点.根据基础程序中定义的元数据对基础程序进行转换,自动生成元对象,基于反射机制实现基础程序演化后连接点的正确匹配.详细阐述了函数、构造函数的转换算法.该方法较好地解决了面向方面软件中由于基础程序结构信息的变化而导致的连接点丢失问题,有助于构建可适应的面向方面软件.
- 何成万张立军张慧
- 关键词：面向方面软件元数据
- 对象的功能扩充机制的比较研究
- 2010年
- 为了准确理解和选择面向对象程序设计中的对象功能扩充方法,提出一个对象功能扩充机制的比较模型。该模型包括动态性、依赖性、类型无关性、层次性和语言要求等几个指标,分别描述了对象功能扩充方法的灵活程度、非功能对象的内聚度、功能对象和非功能对象的耦合程度、对象功能扩充的影响范围等。基于这些指标分析了几种典型的对象功能扩充方法,给出了这些方法的比较结果。比较结果表明,面向方面的程序设计是对象功能扩充的一种有效手段,比较结果对于对象功能扩充方法的选择具有指导意义。
- 余秋惠
- 关键词：面向对象程序设计面向方面程序设计功能扩充
