江苏省高校自然科学研究项目(10KJB520015)
- 作品数：6 被引量：10H指数：3
- 相关作者：张迎周符炜刘玲玲杨庚孙无极更多>>
- 相关机构：南京邮电大学南京大学北京邮电大学更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 信息流安全技术回顾与展望被引量：3
- 2011年
- 随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多。访问控制、入侵检测、加密等传统的安全机制只注重控制信息的释放,不能充分保证信息端到端的安全。信息流的方法通过分析系统中信息的流动,确保流动的信息都是合法的。介绍了信息流的基本模型、信息流分析的几种典型方法及其应用,并对它们进行了分析比较,最后给出了现有的信息流分析方法中存在的问题和未来的研究方向。结果表明采用信息流分析方法实现信息端到端的安全是可行的。
- 张迎周刘玲玲
- 关键词：信息流安全语义模型形式化方法
- 一种基于函数依赖图的构件抽取方法被引量：3
- 2010年
- 结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量。实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率。
- 符炜张迎周孙无极杨庚
- 关键词：函数依赖图程序切片HASKELL
- 基于形式化方法的服务自动测试方法
- 2013年
- 鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。
- 张迎周符炜张卫丰
- 关键词：WEB服务测试
- 一种基于操作请求图的Web服务入侵检测方法
- 2012年
- 为了解决松散耦合性导致的Web服务易遭受攻击的问题,提出一种针对Web服务调用的异常检测方法.通过对BPEL文件的控制流程图进行分析,提取出服务编排中涉及的所有服务操作,以结构性活动为逻辑关系,以操作间传递的参数为有向边权值构造操作请求图,将该操作请求图作为异常检测模型的"活动简档",对于不符合异常检测模型的行为判定为入侵.这种方法约束用户按照BPEL的编排执行业务流程,从而保证了Web服务调用的安全性.
- 郑梁须张迎周符炜
- 关键词：WEB服务BPEL异常检测
- 函数编程技术在计算机数学教学中的应用探讨被引量：3
- 2011年
- 计算机数学,又称离散数学,是计算机学科的重要专业基础课程。在实际教学中发现,计算机科学专业的学生对该课程感兴趣的不多,多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言(Haskell)辅助学生进行计算机数学中相关概念理解及其实际编程实验,主要针对课程教学中代数系统(如群)知识点,通过群定义及其性质验证实验来介绍函数编程技术,可以帮助计算机专业学生更好地学习理解计算机数学课程,并能充分调动其学习积极性和主动性,还可培养学生接受新知识的能力。
- 张迎周
- 关键词：计算机数学函数式编程HASKELL代数系统
