Analysis and implementation of a formal authorization policy design approach

Yun Bai; Vijay Varadharajan

Conference Proceedings

Analysis and implementation of a formal authorization policy design approach

Bai Y
Varadharajan V

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1997) 1270 14-25

DOI: 10.1007/BFb0027939

0Citations

21Readers

Get full text

Abstract

In [1], we proposed a formal approach to specify authorization policies and their transformations. In this paper, we discuss the implementation issues of this approach and analyse the complexities of the algorithms introduced.

Author supplied keywords

Authorization policy
Logic based specification
Security
Transformations

Cite

CITATION STYLE

APA

Bai, Y., & Varadharajan, V. (1997). Analysis and implementation of a formal authorization policy design approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1270, pp. 14–25). Springer Verlag. https://doi.org/10.1007/BFb0027939

Analysis and implementation of a formal authorization policy design approach

Abstract

Author supplied keywords

Cite

Register to see more suggestions