国家科技支撑计划(2008BAH37B05060)
- 作品数：2 被引量：6H指数：1
- 相关作者：武艳文窦浩段升强更多>>
- 相关机构：西安建筑科技大学更多>>
- 发文基金：国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri Net的BPEL流程建模与分析验证
- 2012年
- 设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.
- 窦浩武艳文段升强
- 关键词：WEB服务组合BPELPETRINET
- Web应用安全风险防护分析与防护研究被引量：6
- 2012年
- 分析了当前Web应用所面临的安全性问题以及重要性,同时分析了Web应用安全特性,给出了十大安全风险的描述并针对每一个安全风险给出了切实有效的防范措施与解决方案,包括注入式攻击、跨站点脚本攻击、错误的认证和会话管理、不安全的直接对象引用、跨站点伪造请求、不安全的配置管理、不安全的密码存储器、无法限制URL访问、薄弱的传输层保护、未验证的网址重定向.针对当前的各种Web应用安全的问题,给出了常见的安全技术及其描述.
- 窦浩武艳文段升强
- 关键词：安全性WEB应用安全特性安全技术
