東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Trusted and high assurance systems.

Okhravi, Hamed.

FindBook

Google Book

Amazon

博客來

Trusted and high assurance systems.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Trusted and high assurance systems./
作者:	Okhravi, Hamed.
面頁冊數:	165 p.
附註:	Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: .
Contained By:	Dissertation Abstracts International71-12B.
標題:	Engineering, Computer. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3430891
ISBN:	9781124317687

Trusted and high assurance systems.
Okhravi, Hamed.

Trusted and high assurance systems. - 165 p.

Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: .

Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2010.

High assurance MILS (multiple independent levels of security) and MLS (multilevel security) systems require strict limitation of the interactions between different security compartments based on a security policy. Virtualization can be used to provide a high degree of separation in such systems. This work provides a study of commercial-off-the-shelf (COTS) products to support high assurance MLS systems and designs a candidate architecture based on virtualization and trusted execution to provide strong compartmentalization. We then identify three major security problems in the candidate architecture: the lack of trust in the network, the problem of patch management, and untrusted graphics. We study and solve each of the security gaps in detail. More specifically, we design and evaluate a trusted network architecture for high assurance applications, evaluate an optimal pre-deployment testing time for effective patch management, and finally design, implement, and formally evaluate a trusted graphics subsystem. ii

ISBN: 9781124317687Subjects--Topical Terms:

1669061
Engineering, Computer.

Trusted and high assurance systems.
LDR:01886nam 2200277 4500 001 1392682
005 20110218114646.5
008 130515s2010 ||||||||||||||||| ||eng d
020 $a 9781124317687
035 $a (UMI)AAI3430891
035 $a AAI3430891
040 $a UMI $c UMI
100 1 $a Okhravi, Hamed. $3 1671146
245 1 0 $a Trusted and high assurance systems.
300 $a 165 p.
500 $a Source: Dissertation Abstracts International, Volume: 71-12, Section: B, page: .
500 $a Adviser: David M. Nicol.
502 $a Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2010.
520 $a High assurance MILS (multiple independent levels of security) and MLS (multilevel security) systems require strict limitation of the interactions between different security compartments based on a security policy. Virtualization can be used to provide a high degree of separation in such systems. This work provides a study of commercial-off-the-shelf (COTS) products to support high assurance MLS systems and designs a candidate architecture based on virtualization and trusted execution to provide strong compartmentalization. We then identify three major security problems in the candidate architecture: the lack of trust in the network, the problem of patch management, and untrusted graphics. We study and solve each of the security gaps in detail. More specifically, we design and evaluate a trusted network architecture for high assurance applications, evaluate an optimal pre-deployment testing time for effective patch management, and finally design, implement, and formally evaluate a trusted graphics subsystem. ii
590 $a School code: 0090.
650 4 $a Engineering, Computer. $3 1669061
650 4 $a Computer Science. $3 626642
690 $a 0464
690 $a 0984
710 2 $a University of Illinois at Urbana-Champaign. $3 626646
773 0 $t Dissertation Abstracts International $g 71-12B.
790 1 0 $a Nicol, David M., $e advisor
790 $a 0090
791 $a Ph.D.
792 $a 2010
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3430891