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

Yun Bai, Vijay Varadharajan

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper › 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 -2nd Australasian Conference, ACISP 1997, Proceedings
Editors	Josef Pieprzyk, Vijay Varadharajan, Yi Mu
Publisher	Springer Verlag
Pages	14-25
Number of pages	12
ISBN (Print)	3540632328, 9783540632320
DOIs	https://doi.org/10.1007/BFb0027939
Publication status	Published - 1997
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)	0302-9743
ISSN (Electronic)	1611-3349

Conference

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

Bibliographical note

Publisher Copyright:
© 1997, Springer-Verlag. All rights reserved.

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 J. Pieprzyk, V. Varadharajan, & Y. Mu (Eds.), Information Security and Privacy -2nd Australasian Conference, ACISP 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 Verlag. https://doi.org/10.1007/BFb0027939

Bai, Yun ; Varadharajan, Vijay. / Analysis and implementation of a formal authorization policy design approach. Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings. editor / Josef Pieprzyk ; Vijay Varadharajan ; Yi Mu. Springer Verlag, 1997. pp. 14-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e05263cf553547d8a11ed66983bda838,

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

note = "Publisher Copyright: {\textcopyright} 1997, Springer-Verlag. All rights reserved.; 2nd Australasian Conference on Information Security and Privacy, ACISP 1997 ; Conference date: 07-07-1997 Through 09-07-1997",

year = "1997",

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

pages = "14--25",

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

booktitle = "Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings",

}

Bai, Y & Varadharajan, V 1997, Analysis and implementation of a formal authorization policy design approach. in J Pieprzyk, V Varadharajan & Y Mu (eds), Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1270, Springer Verlag, pp. 14-25, 2nd Australasian Conference on Information Security and Privacy, ACISP 1997, Sydney, 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 -2nd Australasian Conference, ACISP 1997, Proceedings. ed. / Josef Pieprzyk; Vijay Varadharajan; Yi Mu. Springer Verlag, 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 / Conference Paper › Conference Paper › peer-review

TY - GEN

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

AU - Bai, Yun

AU - Varadharajan, Vijay

PY - 1997

Y1 - 1997

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 Paper

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 -2nd Australasian Conference, ACISP 1997, Proceedings

A2 - Pieprzyk, Josef

A2 - Varadharajan, Vijay

A2 - Mu, Yi

PB - Springer Verlag

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 Pieprzyk J, Varadharajan V, Mu Y, editors, Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings. Springer Verlag. 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

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this