02924nas|a2200409 i 4500 20260818153703.0 040723s2003 th uzm rtt 00| a1eng d .b11934785 AIT Thesis no.CS-03-19 Tran Ngoc Thai Kha Logic programming based trust management Pathum Thani, Thailand : Asian Institute of Technology, 2003 44 p. : ill. Thesis ; no. CS-03-19 A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies Thesis (M.Eng.) - Asian Institute of Technology, 2003 Trust 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. Logic programming Phan Minh Dung Chairperson Sumanta Guha Examination committee Ho Dinh Duan Examination committee Department of Industrial Systems Engineering Ho Chi Minh City University of Technology Scholarship Donor Asian Institute of Technology. Thesis ; no. CS-03-19 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B11504 .b11934785 mnait u 240419 0 040723 m a u 0 mnait mnait mnarc 20 40 Barcode : 30050120607683 CREATED : 2004-07-23 RECORD # : i12408591 LPATRON : 1027021 LCHKIN : 2017-09-15 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 6 TOT RENEW : 3 Barcode : 30050120608178 CREATED : 2004-07-23 RECORD # : i12408608 LPATRON : 1020515 LCHKIN : 2009-11-23 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 6 TOT RENEW : 3 Barcode : 30050120353890 CREATED : 2016-06-16 RECORD # : i13042014 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 70463 70463 0 0 0 0 MAIN MAIN mnait 2026-08-18 50.00 0 AIT Thesis no.CS-03-19 30050120607683 2026-08-18 15:37:03 1 2026-08-18 20 0 0 0 0 MAIN MAIN mnait 2026-08-18 50.00 0 AIT Thesis no.CS-03-19 30050120608178 2026-08-18 15:37:03 2 2026-08-18 20 0 0 0 0 MAIN MAIN mnarc 2026-08-18 0 AIT Thesis no.CS-03-19 30050120353890 2026-08-18 15:37:03 2026-08-18 40