DSpace Repository

Logic programing based proof procedure for trust management

Show simple item record

dc.contributor.author Nguyen Duy Hung en_US
dc.date.accessioned 2015-01-12T10:39:47Z
dc.date.available 2015-01-12T10:39:47Z
dc.identifier.other AIT Thesis no.CS-02-13 en_US
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/249
dc.description Bangkok : Asian Institute of Technology, 2002 en_US
dc.description 60 p. en_US
dc.description.abstract Computer security needs a language to ex press security policies and a protection mechanism to control users’ access to prot ected 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, T rust M anagement (TM) is the approach towards computer security that groups together several principles such as authorization in formation is in formed of digitally signed credentials and local policies expressed by an application-independent language. R ole- based T rust management ( RT ), a recently proposed framework is claimed to have combined strengths of previous TM syst ems. Li and Mitchell and Winsborough (2001) have designed direct graph-based compliance checking algorithms for RT 0 , which is the simplest language of RT framework. Algorithms for ot her advanced languages of RT framework are still open. In this thesis, we build compliance-checki ng algorithms based on logic query evaluations. The results adopt that logic query evaluations ca n 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 th at graph-based representation is not new at all as it is claimed to be. We believe th at the logic-based approach offer advantages: (1) we don’t have reinvent the wheel ;(2) we can generalize when the language involves.
dc.relation.ispartof Thesis no. CS-02-13 en_US
dc.relation.ispartof Asian Institute of Technology. Thesis no. CS-02-13 en_US
dc.title Logic programing based proof procedure for trust management en_US
dc.type Thesis en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account