Rule based analysis of computer security
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/14592 |
| _version_ | 1826216662317137920 |
|---|---|
| author | Baldwin, Robert W. (Robet William) |
| author2 | Stephen A. Ward. |
| author_facet | Stephen A. Ward. Baldwin, Robert W. (Robet William) |
| author_sort | Baldwin, Robert W. (Robet William) |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987. |
| first_indexed | 2024-09-23T16:51:23Z |
| format | Thesis |
| id | mit-1721.1/14592 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:51:23Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/145922019-04-11T06:29:28Z Rule based analysis of computer security Baldwin, Robert W. (Robet William) Stephen A. Ward. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987. Includes bibliographical references. Supported by the Defense Advanced Research Projects Agency of the Department of Defense, monitored by the Office of Naval Research. N00014-83-K-0125 by Robert W. Baldwin. Ph.D. 2005-08-09T15:02:27Z 2005-08-09T15:02:27Z 1987 1987 Thesis http://hdl.handle.net/1721.1/14592 19714544 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 93 leaves 7273037 bytes 7272794 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Baldwin, Robert W. (Robet William) Rule based analysis of computer security |
| title | Rule based analysis of computer security |
| title_full | Rule based analysis of computer security |
| title_fullStr | Rule based analysis of computer security |
| title_full_unstemmed | Rule based analysis of computer security |
| title_short | Rule based analysis of computer security |
| title_sort | rule based analysis of computer security |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/14592 |
| work_keys_str_mv | AT baldwinrobertwrobetwilliam rulebasedanalysisofcomputersecurity |