[1]刘洪燕 段振华 张鹏飞.Web服务提供方安全模型的设计、建模与分析[J].计算机技术与发展,2006,(11):162-165.
　LIU Hong-yan,DUAN Zhen-hua,ZHANG Peng-fei.Design, Modeling and Analysis of a WS Provider Security Model[J].,2006,(11):162-165.
点击复制

Web服务提供方安全模型的设计、建模与分析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2006年11期
页码:
162-165
栏目:
安全与防范
出版日期:
1900-01-01

文章信息/Info

Title:
Design, Modeling and Analysis of a WS Provider Security Model
文章编号:
1673-629X（2006）11-0162-04
作者:
刘洪燕 段振华 张鹏飞
西安电子科技大学计算机学院
Author(s):
LIU Hong-yan; DUAN Zhen-hua;  ZHANG Peng-fei
School of Computer Science and Technology, Xidian University
关键词:
投影时序逻辑; Web服务; 安全策略; 安全中介
Keywords:
projection temporal logic; Web sevices; security policy; sceurity intermedisry
分类号:
TP309
文献标志码:
A
摘要:
随着Web服务应用的迅速发展，Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题．引入了一种基予安全策略与实现分离的信息安全解决模型，并根据Web服务的实际情况进行丁改进．方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后．采用投影时序逻辑（PTL，Projeetiort Temporal Logic）形式化描述了该模型中资源访问决策部分的规范说明
Abstract:
With the rapid development of the Web serices applications, the Web scrvices seeuriry issue has emerged as one of obstackes in busncss applications. In particular, the security issue of Web serviees providers becomes more imporatnt than other parts. Discusses the security issues faced by Web services providers, and propcses an information sceurity solving model. With this model ,the security policy and its implementation are separatcd, In addition, to facilitate the sceurity designcers of Web scrvices providers to understand and analyze the model,decriles the speeification of the resource access decision model using projection temporal logic （PTL

相似文献/References:

[1]李学俭 何文华.基于SOA架构的高校数据资源整合研究[J].计算机技术与发展,2010,(01):74.
　LI Xue-jian,HE Wen-hua.Research of Campus Data Integration Based on SOA[J].,2010,(11):74.
[2]戴雪梅 姜浩.基于带权图规划算法的语义Web服务组合[J].计算机技术与发展,2010,(03):67.
　DAI Xue-mei,JIANG Hao.Semantic Web Services Composition Based on Weighted Planning Graph Algorithm[J].,2010,(11):67.
[3]张小欢 管有庆 王佳伟.基于BTP的Web服务事务协调研究与实现[J].计算机技术与发展,2010,(04):39.
　ZHANG Xiao-huan,GUAN You-qing,WANG Jia-wei.Research and Implementation on BTP- Based Web Services Transaction Coordination[J].,2010,(11):39.
[4]李文亮 刘竹松 陈璟.基于SOA的科研管理系统的分析与设计[J].计算机技术与发展,2010,(05):234.
　LI Wen-liang,LIU Zhu-song,CHEN Jing.Analysis and Design of Management System of Scientific Research Based on SOA[J].,2010,(11):234.
[5]李苏 刘建勋.Web服务的绑定与调用方法研究[J].计算机技术与发展,2010,(06):59.
　LI Su,LIU Jian-xun.Research on Methods of Web Service Binding and Invocation[J].,2010,(11):59.
[6]刘振岩 王勇 陈立平 马俊杰 陈天恩.基于SVM的农业智能决策Web服务的研究与实现[J].计算机技术与发展,2010,(06):213.
　LIU Zhen-yan,WANG Yong,CHEN Li-ping,et al.Research and Implementation of Intelligence Decision Web Services Based on SVM for Digital Agriculture[J].,2010,(11):213.
[7]王丽侠 楼玉萍 吕君可.基于Web服务的电力信息集成系统[J].计算机技术与发展,2009,(05):173.
　WANG Li-xia,LOU Yu-ping,LU Jun-ke.A Power Information Integration System Based on Web Services[J].,2009,(11):173.
[8]高云全.一种基于语义的Web服务动态组合及其实现[J].计算机技术与发展,2009,(06):65.
　GAO Yun-quan.A Dynamic Web Services Composition and Realization Based on Semantic[J].,2009,(11):65.
[9]王谢宁.构建协同商务系统的核心技术研究[J].计算机技术与发展,2009,(06):221.
　WANG Xie-ning.Core Technology Research of Construction Collaborative Commerce System[J].,2009,(11):221.
[10]胡江晖 袁道华 段恺.一种基于JXTA的SOAP消息通信实现模型[J].计算机技术与发展,2009,(08):45.
　HU Jiang-hui,YUAN Dao-hua,DUAN Kai.An Implementation Fraanework of SOAP Messaging Based on JXTA[J].,2009,(11):45.

备注/Memo

备注/Memo:
国家自然科学基金重点项目资助（60433010）;国家自然科学基金面上项目资助（611373103）;教育部博士点基金项目资助（20030701015）刘洪燕（1981-），男，湖南娄底人，硕士研究生，研究方向为信息安全、逻辑描述与验证；段振华，教授，博导，研究方向为逻辑描述与验证
更新日期/Last Update: 1900-01-01