AI SearchLogic programming based trust management (Record no. 70463)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02924nas|a2200409 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818153703.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 040723s2003 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b11934785 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no.CS-03-19 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Tran Ngoc Thai Kha |
| 245 10 - TITLE STATEMENT | |
| Title | Logic programming based trust management |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Pathum Thani, Thailand : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 2003 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 44 p. : |
| Other physical details | ill. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-03-19 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Eng.) - Asian Institute of Technology, 2003 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic programming |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan Minh Dung |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sumanta Guha |
| Relator term | Examination committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ho Dinh Duan |
| Relator term | Examination committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Department of Industrial Systems Engineering Ho Chi Minh City University of Technology |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-03-19 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href=" http://203.159.5.9/ait-thesis/detail.php?q=B11504"> http://203.159.5.9/ait-thesis/detail.php?q=B11504</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b11934785 |
| b | mnait |
| c | u |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240419 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 040723 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | u |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120607683 |
| CREATED | CREATED : 2004-07-23 |
| RECORD Id | RECORD # : i12408591 |
| LPATRON | LPATRON : 1027021 |
| LCHKIN | LCHKIN : 2017-09-15 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 6 |
| -- | TOT RENEW : 3 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120608178 |
| CREATED | CREATED : 2004-07-23 |
| RECORD Id | RECORD # : i12408608 |
| LPATRON | LPATRON : 1020515 |
| LCHKIN | LCHKIN : 2009-11-23 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 6 |
| -- | TOT RENEW : 3 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120353890 |
| CREATED | CREATED : 2016-06-16 |
| RECORD Id | RECORD # : i13042014 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.CS-03-19 | 30050120607683 | 18/08/2026 | 1 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.CS-03-19 | 30050120608178 | 18/08/2026 | 2 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Thesis no.CS-03-19 | 30050120353890 | 18/08/2026 | 18/08/2026 | 40-Archives |