On distributed system security

Yun Bai

doi:10.1109/SecTech.2008.22

On distributed system security

Yun Bai

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

1 Citation (Scopus)

Abstract

Authorization plays an essential role to ensure the security of a wide variety of computing and IT systems such as data management systems, e-trading systems, database transaction systems, etc. This paper aims to propose a high level formal language for specifying and evaluating distributed authorizations with delegation, develop a new method for credential chain discovery, and implement a system prototype for representing and reasoning about access control policies in distributed environments. By applying the new methodology and technology developed from this work, we will be able to design highly secure computing and IT systems in many different complex problem domains.

Original language	English
Title of host publication	Proceedings - 2008 International Conference on Security Technology, SecTech 2008
Pages	54-57
Number of pages	4
DOIs	https://doi.org/10.1109/SecTech.2008.22
Publication status	Published - 2008
Event	2008 International Conference on Security Technology, SecTech 2008 - Hainan Island, China Duration: 13 Dec 2008 → 15 Dec 2008

Publication series

Name	Proceedings - 2008 International Conference on Security Technology, SecTech 2008

Conference

Conference	2008 International Conference on Security Technology, SecTech 2008
Country/Territory	China
City	Hainan Island
Period	13/12/08 → 15/12/08

Keywords

Authorization
Distributed systems
Formal specification
Logic program

Access to Document

10.1109/SecTech.2008.22

Cite this

@inproceedings{88170d45e70b42af84050d171058c195,

title = "On distributed system security",

abstract = "Authorization plays an essential role to ensure the security of a wide variety of computing and IT systems such as data management systems, e-trading systems, database transaction systems, etc. This paper aims to propose a high level formal language for specifying and evaluating distributed authorizations with delegation, develop a new method for credential chain discovery, and implement a system prototype for representing and reasoning about access control policies in distributed environments. By applying the new methodology and technology developed from this work, we will be able to design highly secure computing and IT systems in many different complex problem domains.",

keywords = "Authorization, Distributed systems, Formal specification, Logic program",

author = "Yun Bai",

year = "2008",

doi = "10.1109/SecTech.2008.22",

language = "English",

isbn = "9780769534862",

series = "Proceedings - 2008 International Conference on Security Technology, SecTech 2008",

pages = "54--57",

booktitle = "Proceedings - 2008 International Conference on Security Technology, SecTech 2008",

note = "2008 International Conference on Security Technology, SecTech 2008 ; Conference date: 13-12-2008 Through 15-12-2008",

}

Bai, Y 2008, On distributed system security. in Proceedings - 2008 International Conference on Security Technology, SecTech 2008., 4725343, Proceedings - 2008 International Conference on Security Technology, SecTech 2008, pp. 54-57, 2008 International Conference on Security Technology, SecTech 2008, Hainan Island, China, 13/12/08. https://doi.org/10.1109/SecTech.2008.22

TY - GEN

T1 - On distributed system security

AU - Bai, Yun

PY - 2008

Y1 - 2008

N2 - Authorization plays an essential role to ensure the security of a wide variety of computing and IT systems such as data management systems, e-trading systems, database transaction systems, etc. This paper aims to propose a high level formal language for specifying and evaluating distributed authorizations with delegation, develop a new method for credential chain discovery, and implement a system prototype for representing and reasoning about access control policies in distributed environments. By applying the new methodology and technology developed from this work, we will be able to design highly secure computing and IT systems in many different complex problem domains.

AB - Authorization plays an essential role to ensure the security of a wide variety of computing and IT systems such as data management systems, e-trading systems, database transaction systems, etc. This paper aims to propose a high level formal language for specifying and evaluating distributed authorizations with delegation, develop a new method for credential chain discovery, and implement a system prototype for representing and reasoning about access control policies in distributed environments. By applying the new methodology and technology developed from this work, we will be able to design highly secure computing and IT systems in many different complex problem domains.

KW - Authorization

KW - Distributed systems

KW - Formal specification

KW - Logic program

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

U2 - 10.1109/SecTech.2008.22

DO - 10.1109/SecTech.2008.22

M3 - Conference Paper

AN - SCOPUS:60349093472

SN - 9780769534862

T3 - Proceedings - 2008 International Conference on Security Technology, SecTech 2008

SP - 54

EP - 57

BT - Proceedings - 2008 International Conference on Security Technology, SecTech 2008

T2 - 2008 International Conference on Security Technology, SecTech 2008

Y2 - 13 December 2008 through 15 December 2008

ER -

On distributed system security

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this