A Secure and Formally Verified Commodity Multiprocessor Hypervisor
A Secure and Formally Verified Commodity Multiprocessor Hypervisor
- 자료유형
- 학위논문파일 국외
- ISBN
- 9798534663969
- DDC
- 004
- 저자명
- Li, Shih-Wei.
- 서명/저자
- A Secure and Formally Verified Commodity Multiprocessor Hypervisor
- 발행사항
- [Sl] : Columbia University, 2021
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- 형태사항
- 166 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 83-02, Section: B.
- 주기사항
- Advisor: Nieh, Jason.
- 학위논문주기
- Thesis (Ph.D.)--Columbia University, 2021.
- 사용제한주기
- This item must not be sold to any third party vendors.
- 일반주제명
- Computer science
- 일반주제명
- Information technology
- 일반주제명
- Information science
- 일반주제명
- Research
- 일반주제명
- Collaboration
- 일반주제명
- Cloud computing
- 일반주제명
- Linux
- 키워드
- Security
- 키워드
- Virtualization
- 기타저자
- Columbia University Computer Science
- 기본자료저록
- Dissertations Abstracts International. 83-02B.
- 기본자료저록
- Dissertation Abstract International
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.