刘洪燕
- 作品数：4 被引量：2H指数：1
- 供职机构：西安电子科技大学计算机学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Web服务提供方安全模型的设计、建模与分析
- 2006年
- 随着Web服务应用的迅速发展,Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进,方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明。
- 刘洪燕段振华张鹏飞
- 关键词：投影时序逻辑WEB服务
- 基于XML的风险描述及策略的灵活对应被引量：1
- 2006年
- 随着目前风险与安全需求的多样化,传统地以文本或数据库方式来对应安全策略已满足不了需求。本文通过用XML对风险进行描述,以定性和定量地方法分析其危害并实现了分析工具。通过分析工具可以灵活地选用安全策略。同时对于组合风险也可以方便地选用组合策略来灵活应对。
- 刘洪燕
- 关键词：XML
- 基于时序逻辑的Web服务安全形式化描述与分析
- 随着Web服务应用的迅速发展，安全问题已成为制约其实际应用的障碍之一，而Web服务提供方的安全问题尤为重要。本文首先简要的介绍了Web服务。然后从Web服务面临的安全问题入手，分析了当前Web服务安全技术的研究现状，着重...
- 刘洪燕
- 关键词：投影时序逻辑互联网服务
- 文献传递
- Web服务提供方安全模型的分析与设计被引量：1
- 2006年
- 讨论了Web服务提供方的安全问题,通过对Web服务调用方式的分析,为Web服务的提供方设计了安全模型。所设计的模型不依赖于服务提供方选用的安全策略,方便策略的更改和安全检查机制的更新。该模型同样适用于Web服务的需求方。
- 刘洪燕张鹏飞
- 关键词：WEB服务
