肖海
- 作品数：2 被引量：3H指数：1
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SOA和BPEL的移动运维流程管理系统的设计与实现
- 2009年
- 业务流程管理系统BPMS能够协助移动运营商设计和实施流程,提升管理效率,为用户带来更优质的服务。本文引入了面向服务的体系架构(SOA)和Web服务(Web Services),并分析了业务流程执行语言(BPEL)在实现业务流程管理系统BPMS的重要性。在此基础上,提出了一种基于SOA架构和BPEL语言、结合了工作流技术的移动业务流程管理系统的建模与控制方案。结合一个具体的业务流程实例,介绍了通过Web服务描述语言WSDL实现业务流程与Web服务之间的通信,最后介绍了该系统目前的运营应用情况。
- 许娇肖海
- 关键词：SOABPELWEB服务业务流程管理
- 基于运行时类型分析的整形漏洞二进制检测和定位系统被引量：3
- 2011年
- 整形漏洞(Integer-based vulnerability)是一种存在于C或C++代码中的漏洞,具有极其严重的破坏性。2006年CVE指出缓冲区溢出漏洞呈下降趋势,而其他一些漏洞,如整形溢出、符号转换错误等呈上升趋势。设计并实现了一种针对整形漏洞的二进制实时检测和定位的方法。针对整形漏洞攻击,首先将二进制文件转化为一种中间语言VEX;然后在运行时将与外部输入相关的数据着色,截获相关语句并记录信息;最后依据制定的检测策略对着色的数据进行检测并定位。选用常见的含有内存漏洞的程序来测试系统的有效性及其性能损耗。实验结果表明,该工具可以检测并且定位软件中绝大多数的整形漏洞,而且误报和漏报率都很低。
- 肖海陈平茅兵谢立
