Logic programing based proof procedure for trust management | |
| Author | Nguyen Duy Hung |
| Call Number | AIT Thesis no.CS-02-13 |
| Subject(s) | Computer security Data protection |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-02-13 |
| Abstract | Computer security needs a language to express security policies and a protection mechanism to control users' access to protected resources according to given security policy. Hence, at the core of a protection mechanism is a compliance-checking algorithm, which checks whether a user's request complies with the policies. In distributed systems, Trust Management (TM) is the approach towards computer security that groups together several principles such as authorization information is in formed of digitally signed credentials and local policies expressed by an application-independent language. Rolebased Trust management (RT), a recently proposed framework is claimed to have combined strengths of previous TM systems. Li and Mitchell and Winsborough (2001) have designed direct graph-based compliance checking algorithms for RTo, which is the simplest language of RT framework. Algorithms for other advanced languages of RT framework are still open. In this thesis, we build compliance-checking algorithms based on logic query evaluations. The results adopt that logic query evaluations can be optimized so that they are reduced to direct graph-based algorithms. Hence, the latter can be seen as specializations of the former. We further conclude that graph-based representation is not new at all as it is claimed to be. We believe that the logic-based approach offer advantages: (1) we don't have reinvent the wheel ;(2) we can generalize when the language involves. |
| Year | 2002 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-02-13 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung |
| Examination Committee(s) | Afzulpurkar, Nitin ;Chen, Xiaoyong |
| Scholarship Donor(s) | Vietnam Oil and Gas Corporation |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 2002 |