Web服务提供方安全模型的设计、建模与分析

• 作者: 刘洪燕 张鹏飞 段振华
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 投影时序逻辑 Web 服务 安全策略 安全中介
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 安全与防范
• 页码范围: 162-165
• 页数: 4页
• 分类号: TP309
• 字数: 4335字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2006.11.056

摘要

随着Web服务应用的迅速发展,Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一.文中着重讨论了Web服务提供方面临的安全问题,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进,方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施.最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张鹏飞	西安电子科技大学计算机学院	27	107	6.0	9.0
2	段振华	西安电子科技大学计算机学院	47	363	10.0	16.0
3	刘洪燕	西安电子科技大学计算机学院	3	5	2.0	2.0