会议专题

A Policy Language for Ezpressing Access Control Properties in PDAC Model

An access control policy defines what is authorized, and an access control mechanism implements the policy to ensure that all accesses are in accordance with the underlying policy. Nowadays, many researcher are working for expressing access policies in a formal way. But it is still an open problem. This paper defines a policy language, which is named as PDPL to express access policies and access control properties in PDAC model 1. This language unifies BAN logic with past- and future- time temporal logic. We give the syntax and semantics of PDPL, and provided some examples with their English equivalents. This logic language can express belief and authorization in access control model. And it can deal with delegations of decisionmaking directly. It is easy for us to formulate the properties of interest in distributed systems of PDAC model through PDPL. This logical language is part of a formal system, and it will be used in an automatic model checker in the future.

Policy language temporal logic policy domain access control

Xian Wu Peide Qian

School of Computer Science and Technology Jiangsu Provincial Key Laboratory for Computer Information School of Computer Science and Technology Soochow University Suzhou, China 215006

国际会议

第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)

南京

英文

1881-1885

2009-07-25(万方平台首次上网日期,不代表论文的发表时间)