Analysis and implementation of a formal authorization policy design approach

Yun Bai; Vijay Varadharajan

doi:10.1007/BFb0027939

Analysis and implementation of a formal authorization policy design approach

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

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.

Original language	English
Title of host publication	Information Security and Privacy
Subtitle of host publication	Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings
Editors	Vijay Varadharajan, Josef Pieprzyk, Yi Mu
Place of Publication	Berlin; New York
Publisher	Springer, Springer Nature
Pages	14-25
Number of pages	12
ISBN (Electronic)	9783540692379
ISBN (Print)	3540632328, 9783540632320
DOIs	https://doi.org/10.1007/BFb0027939
Publication status	Published - Jul 1997
Externally published	Yes
Event	2nd Australasian Conference on Information Security and Privacy, ACISP - 1997 - Sydney, Australia Duration: 7 Jul 1997 → 9 Jul 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1270
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	2nd Australasian Conference on Information Security and Privacy, ACISP - 1997
Country/Territory	Australia
City	Sydney
Period	7/07/97 → 9/07/97

Keywords

Authorization policy
Logic based specification
Security
Transformations

Access to Document

10.1007/BFb0027939

Cite this

Bai, Y., & Varadharajan, V. (1997). Analysis and implementation of a formal authorization policy design approach. In V. Varadharajan, J. Pieprzyk, & Y. Mu (Eds.), Information Security and Privacy: Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings (pp. 14-25). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1270). Springer, Springer Nature. https://doi.org/10.1007/BFb0027939

Bai, Yun ; Varadharajan, Vijay. / Analysis and implementation of a formal authorization policy design approach. Information Security and Privacy: Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings. editor / Vijay Varadharajan ; Josef Pieprzyk ; Yi Mu. Berlin; New York : Springer, Springer Nature, 1997. pp. 14-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ac14bb819af44ab5aa4f3debfec890c5,

title = "Analysis and implementation of a formal authorization policy design approach",

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.",

keywords = "Authorization policy, Logic based specification, Security, Transformations",

author = "Yun Bai and Vijay Varadharajan",

year = "1997",

month = jul,

doi = "10.1007/BFb0027939",

language = "English",

isbn = "3540632328",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "14--25",

editor = "Vijay Varadharajan and Josef Pieprzyk and Yi Mu",

booktitle = "Information Security and Privacy",

address = "United States",

note = "2nd Australasian Conference on Information Security and Privacy, ACISP - 1997 ; Conference date: 07-07-1997 Through 09-07-1997",

}

Bai, Y & Varadharajan, V 1997, Analysis and implementation of a formal authorization policy design approach. in V Varadharajan, J Pieprzyk & Y Mu (eds), Information Security and Privacy: Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1270, Springer, Springer Nature, Berlin; New York, pp. 14-25, 2nd Australasian Conference on Information Security and Privacy, ACISP - 1997, Sydney, New South Wales, Australia, 7/07/97. https://doi.org/10.1007/BFb0027939

Analysis and implementation of a formal authorization policy design approach. / Bai, Yun; Varadharajan, Vijay.
Information Security and Privacy: Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings. ed. / Vijay Varadharajan; Josef Pieprzyk; Yi Mu. Berlin; New York: Springer, Springer Nature, 1997. p. 14-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1270).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Analysis and implementation of a formal authorization policy design approach

AU - Bai, Yun

AU - Varadharajan, Vijay

PY - 1997/7

Y1 - 1997/7

N2 - 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.

AB - 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.

KW - Authorization policy

KW - Logic based specification

KW - Security

KW - Transformations

UR - http://www.scopus.com/inward/record.url?scp=84957885593&partnerID=8YFLogxK

U2 - 10.1007/BFb0027939

DO - 10.1007/BFb0027939

M3 - Conference proceeding contribution

AN - SCOPUS:84957885593

SN - 3540632328

SN - 9783540632320

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 14

EP - 25

BT - Information Security and Privacy

A2 - Varadharajan, Vijay

A2 - Pieprzyk, Josef

A2 - Mu, Yi

PB - Springer, Springer Nature

CY - Berlin; New York

T2 - 2nd Australasian Conference on Information Security and Privacy, ACISP - 1997

Y2 - 7 July 1997 through 9 July 1997

ER -

Bai Y, Varadharajan V. Analysis and implementation of a formal authorization policy design approach. In Varadharajan V, Pieprzyk J, Mu Y, editors, Information Security and Privacy: Second Australasian Conference, ACISP'97 Sydney, NSW, Australia, July 7–9, 1997 Proceedings. Berlin; New York: Springer, Springer Nature. 1997. p. 14-25. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0027939

Analysis and implementation of a formal authorization policy design approach

Abstract

Publication series

Other

Keywords

Access to Document

Other files and links

Fingerprint

Cite this