000			02924nas|a2200409 i 4500
005			20260818153703.0
008			040723s2003 th uzm rtt 00| a1eng d
035			_a.b11934785
099		9	_aAIT Thesis no.CS-03-19
100	0		_aTran Ngoc Thai Kha
245	1	0	_aLogic programming based trust management
260			_aPathum Thani, Thailand : _bAsian Institute of Technology, _c2003
300			_a44 p. : _bill.
490	1		_aThesis ; _vno. CS-03-19
500			_aA thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies
502			_aThesis (M.Eng.) - Asian Institute of Technology, 2003
520			_aTrust management (TM) problem is a promising approach for authorization and access control in distributed systems according to given security policies. Aspects of TM include formulating application-independent security polices and security credential, determining whether particular set of credentials satisfies the relevant policy, and deferring trust to third parties. The core of TM consists of policy language and policy engine. In this thesis, we clarify a well-known Trust Establishment system (Herzberg et al., 2000) by transforming TPL+ language and engine to logic programming context. It is concluded that its solution for negation is very simple and so weak. Afterthat, we design and implement a Trust Management system based on logic programming. The policy language of this system is normal restricted logic language and the policy engine is extended from Fitting semantic and Stable model semantic. This algorithm is proved to be sound for Preferred extension semantic.
650		0	_aLogic programming
700	1		_aPhan Minh Dung _eChairperson
700	1		_aSumanta Guha _eExamination committee
700	1		_aHo Dinh Duan _eExamination committee
710	2		_aDepartment of Industrial Systems Engineering Ho Chi Minh City University of Technology _eScholarship Donor
810	2		_aAsian Institute of Technology. _tThesis ; _vno. CS-03-19
856			_3Full-Text _u http://203.159.5.9/ait-thesis/detail.php?q=B11504
907			_a.b11934785 _bmnait _cu
902			_a240419
998			_b0 _c040723 _dm _ea _fu _g0
945			_lmnait
945			_lmnait
945			_lmnarc
942			_c20
942			_c40
909			_aBarcode : 30050120607683 _bCREATED : 2004-07-23 _cRECORD # : i12408591 _dLPATRON : 1027021 _eLCHKIN : 2017-09-15 _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 6 _jTOT RENEW : 3
909			_aBarcode : 30050120608178 _bCREATED : 2004-07-23 _cRECORD # : i12408608 _dLPATRON : 1020515 _eLCHKIN : 2009-11-23 _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 6 _jTOT RENEW : 3
909			_aBarcode : 30050120353890 _bCREATED : 2016-06-16 _cRECORD # : i13042014 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0
999			_c70463 _d70463