首页 | 本学科首页   官方微博 | 高级检索  
     

Web服务提供方安全模型的设计、建模与分析
引用本文:刘洪燕,段振华,张鹏飞.Web服务提供方安全模型的设计、建模与分析[J].微机发展,2006,16(11):162-165.
作者姓名:刘洪燕  段振华  张鹏飞
作者单位:西安电子科技大学计算机学院 陕西西安710071
基金项目:国家自然科学基金重点项目资助(60433010),国家自然科学基金面上项目资助(60373103),教育部博士点基金项目资助(20030701015)
摘    要:随着Web服务应用的迅速发展,Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进,方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明。

关 键 词:投影时序逻辑  Web服务  安全策略  安全中介
文章编号:1673-629X(2006)11-0162-04
修稿时间:2006年1月15日

Design,Modeling and Analysis of a WS Provider Security Model
LIU Hong-yan,DUAN Zhen-hua,ZHANG Peng-fei.Design,Modeling and Analysis of a WS Provider Security Model[J].Microcomputer Development,2006,16(11):162-165.
Authors:LIU Hong-yan  DUAN Zhen-hua  ZHANG Peng-fei
Abstract:With the rapid development of the Web services applications,the Web services security issue has emerged as one of obstacles in business applications.In particular,the security issue of Web services providers becomes more important than other parts.Discusses the security issues faced by Web services providers,and proposes an information security solving model.With this model,the security policy and its implementation are separated.In addition,to facilitate the security designers of Web services providers to understand and analyze the model,describes the specification of the resource access decision model using projection temporal logic(PTL).
Keywords:projection temporal logic  Web services  security policy  security intermediary
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号