QQ客服 官方微博 反馈留言

	An operational model of security policies in Service-Oriented applications
	Yuan, Zhang ; Meng, Sun
	2011
英文摘要	We use a scenario-based visual notation, called Policy Sequence Chart (PSC), for specifying security policies in service coordination. A security policy defines a set of security requirements that correspond to permissions, prohibitions and obligations to some executions when some contextual conditions are satisfied. In this paper, we propose an approach of defining operational semantics of PSCs in terms of constraint automata, which can be used as the semantic foundation for checking compliance between service coordination and the security policies. ? 2011 IEEE.; EI; 0
语种	英语
出处	EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/328754]
专题	数学科学学院
推荐引用方式 GB/T 7714	Yuan, Zhang,Meng, Sun. An operational model of security policies in Service-Oriented applications. 2011-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。