干旱区生态环境知识资源中心(Arid): XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications

Arid

DOI	10.1016/j.scico.2023.103046
	XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications
	Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C.
通讯作者	Arshad, H
来源期刊	SCIENCE OF COMPUTER PROGRAMMING
ISSN	0167-6423
EISSN	1872-7964
出版年	2024
卷号	232
英文摘要	The eXtensible Access Control Markup Language (XACML) is a popular OASIS standard for the specification of fine-grained access control policies. However, the standard does not provide a proper solution for the verification of XACML access control policies before their deployment. The first step for the formal verification of XACML policies is to formally specify such policies. Hence, this paper presents XACML2mCRL2, a tool for the automatic translation of XACML access control policies into mCRL2. The mCRL2 specifications generated by our tool can be used for formal verification of important properties of access control policies, such as completeness or inconsistency, using the well-known mCRL2 toolset.
英文关键词	XACML mCRL2 Formal verification Access control
类型	Article
语种	英语
开放获取类型	Green Accepted, Green Published, hybrid
收录类别	SCI-E
WOS记录号	WOS:001107212400001
WOS类目	Computer Science, Software Engineering
WOS研究方向	Computer Science
资源类型	期刊论文
条目标识符	http://119.78.100.177/qdio/handle/2XILL650/405417
推荐引用方式 GB/T 7714	Arshad, Hamed,Horne, Ross,Johansen, Christian,et al. XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[J],2024,232.
APA	Arshad, Hamed,Horne, Ross,Johansen, Christian,Owe, Olaf,&Willemse, Tim A. C..(2024).XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.SCIENCE OF COMPUTER PROGRAMMING,232.
MLA	Arshad, Hamed,et al."XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications".SCIENCE OF COMPUTER PROGRAMMING 232(2024).