Title :
On Distributed System Security
Author_Institution :
Sch. of Comput. & Math., Univ. of Western Sydney, Sydney, NSW, Australia
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 :
authorisation; distributed processing; inference mechanisms; knowledge representation; logic programming; specification languages; IT system; access control policy; credential chain discovery; distributed authorization; distributed system security; high level formal language; inference mechanism; knowledge representation; logic programming; system prototype; Access control; Authorization; Data security; Distributed computing; Formal languages; Formal specifications; IP networks; Logic; Power system security; Transaction databases; authorization; distributed systems; formal specification; logic program;
Conference_Titel :
Security Technology, 2008. SECTECH '08. International Conference on
Conference_Location :
Hainan Island
Print_ISBN :
978-0-7695-3486-2
DOI :
10.1109/SecTech.2008.22
