TSAFE : building a trusted computing base for air traffic control software
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/87390 |
| _version_ | 1826207189393473536 |
|---|---|
| author | Dennis, Gregory D. (Gregory David), 1980- |
| author2 | Daniel N. Jackson. |
| author_facet | Daniel N. Jackson. Dennis, Gregory D. (Gregory David), 1980- |
| author_sort | Dennis, Gregory D. (Gregory David), 1980- |
| collection | MIT |
| description | Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003. |
| first_indexed | 2024-09-23T13:45:26Z |
| format | Thesis |
| id | mit-1721.1/87390 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:45:26Z |
| publishDate | 2014 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/873902019-04-12T16:12:30Z TSAFE : building a trusted computing base for air traffic control software Tactical Separation Assisted Flight Environment : building a trusted computing base for air traffic control software Dennis, Gregory D. (Gregory David), 1980- Daniel N. Jackson. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003. Includes bibliographical references (p. 75). by Gregory D. Dennis. M.Eng. 2014-05-23T19:25:50Z 2014-05-23T19:25:50Z 2003 2003 Thesis http://hdl.handle.net/1721.1/87390 53439329 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 75 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Dennis, Gregory D. (Gregory David), 1980- TSAFE : building a trusted computing base for air traffic control software |
| title | TSAFE : building a trusted computing base for air traffic control software |
| title_full | TSAFE : building a trusted computing base for air traffic control software |
| title_fullStr | TSAFE : building a trusted computing base for air traffic control software |
| title_full_unstemmed | TSAFE : building a trusted computing base for air traffic control software |
| title_short | TSAFE : building a trusted computing base for air traffic control software |
| title_sort | tsafe building a trusted computing base for air traffic control software |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/87390 |
| work_keys_str_mv | AT dennisgregorydgregorydavid1980 tsafebuildingatrustedcomputingbaseforairtrafficcontrolsoftware AT dennisgregorydgregorydavid1980 tacticalseparationassistedflightenvironmentbuildingatrustedcomputingbaseforairtrafficcontrolsoftware |