東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic-based policy engineering in di...

Dai, Jie.

FindBook

Google Book

Amazon

博客來

Logic-based policy engineering in distributed authorization.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic-based policy engineering in distributed authorization./
作者:	Dai, Jie.
面頁冊數:	131 p.
附註:	Source: Dissertation Abstracts International, Volume: 62-10, Section: B, page: 4624.
Contained By:	Dissertation Abstracts International62-10B.
標題:	Computer Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3030874
ISBN:	0493431543

Logic-based policy engineering in distributed authorization.
Dai, Jie.

Logic-based policy engineering in distributed authorization. - 131 p.

Source: Dissertation Abstracts International, Volume: 62-10, Section: B, page: 4624.

Thesis (Ph.D.)--University of Idaho, 2001.

This dissertation work started with the desire to solve the distributed authorization problems in open and large computer networks. During the initial investigation, we learned that by using certificate technologies, authorization localization could be achieved. However, research on these technologies is mostly focused on delegation algorithms. More fundamental issues such as authorization policy generation need to be explored and systematic approaches need to be incorporated with the current technologies in order to establish a complete prevention mechanism for the purpose.

ISBN: 0493431543Subjects--Topical Terms:

626642
Computer Science.

Logic-based policy engineering in distributed authorization.
LDR:02956nmm 2200301 4500 001 1811653
005 20060322122803.5
008 130610s2001 eng d
020 $a 0493431543
035 $a (UnM)AAI3030874
035 $a AAI3030874
040 $a UnM $c UnM
100 1 $a Dai, Jie. $3 1901222
245 1 0 $a Logic-based policy engineering in distributed authorization.
300 $a 131 p.
500 $a Source: Dissertation Abstracts International, Volume: 62-10, Section: B, page: 4624.
500 $a Major Professor: James Alves-Foss.
502 $a Thesis (Ph.D.)--University of Idaho, 2001.
520 $a This dissertation work started with the desire to solve the distributed authorization problems in open and large computer networks. During the initial investigation, we learned that by using certificate technologies, authorization localization could be achieved. However, research on these technologies is mostly focused on delegation algorithms. More fundamental issues such as authorization policy generation need to be explored and systematic approaches need to be incorporated with the current technologies in order to establish a complete prevention mechanism for the purpose.
520 $a During our further research, we noticed that logic programming is a useful tool for implementing authorization policies. The logic system can play dual roles including knowledge representation as well as the high level specification of a secure authorization system. Although logic programming and knowledge representation have been developed for more than twenty years, their logic and languages still cannot fully support our authorization representation and reasoning. Therefore we developed an authorization logic model based on division of authorization domain to explain authorization policy behaviors. In addition, by extending the general software engineering approach, including formal specification, verification, testing, and measurement, we established a policy engineering approach suitable for generating authorization policies with logic programming system.
520 $a Finally, we have built CBASS as a test bed to experiment on policy separation and integration issues. Solutions to associate authorization policies and credentials with each programs or files, and techniques to build interfaces in the programs to connect the separated policy systems and application or system software was developed.
520 $a The theory and experiments that have been presented and demonstrated may be used to direct the development of distributed authorization systems, particularly their policies which are the core of the entire distributed and networked computer systems in the future.
590 $a School code: 0089.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 0 $a University of Idaho. $3 718915
773 0 $t Dissertation Abstracts International $g 62-10B.
790 1 0 $a Alves-Foss, James, $e advisor
790 $a 0089
791 $a Ph.D.
792 $a 2001
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3030874