Verifying information flow control in Java bytecodes
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | গবেষণাপত্র |
| ভাষা: | eng |
| প্রকাশিত: |
Massachusetts Institute of Technology
2014
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | http://hdl.handle.net/1721.1/86523 |
| _version_ | 1826210550029221888 |
|---|---|
| author | Mathewson, Nicholas A. (Nicholas Albert), 1977- |
| author2 | Barbara Liskov. |
| author_facet | Barbara Liskov. Mathewson, Nicholas A. (Nicholas Albert), 1977- |
| author_sort | Mathewson, Nicholas A. (Nicholas Albert), 1977- |
| collection | MIT |
| description | Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. |
| first_indexed | 2024-09-23T14:51:45Z |
| format | Thesis |
| id | mit-1721.1/86523 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T14:51:45Z |
| publishDate | 2014 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/865232019-04-12T16:02:32Z Verifying information flow control in Java bytecodes Information flow control in Java bytecodes Mathewson, Nicholas A. (Nicholas Albert), 1977- Barbara Liskov. 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, 2000. Includes bibliographical references (p. 49). by Nicholas A. Mathewson. M.Eng. 2014-05-07T16:47:00Z 2014-05-07T16:47:00Z 2000 2000 Thesis http://hdl.handle.net/1721.1/86523 46913467 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 49 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Mathewson, Nicholas A. (Nicholas Albert), 1977- Verifying information flow control in Java bytecodes |
| title | Verifying information flow control in Java bytecodes |
| title_full | Verifying information flow control in Java bytecodes |
| title_fullStr | Verifying information flow control in Java bytecodes |
| title_full_unstemmed | Verifying information flow control in Java bytecodes |
| title_short | Verifying information flow control in Java bytecodes |
| title_sort | verifying information flow control in java bytecodes |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/86523 |
| work_keys_str_mv | AT mathewsonnicholasanicholasalbert1977 verifyinginformationflowcontrolinjavabytecodes AT mathewsonnicholasanicholasalbert1977 informationflowcontrolinjavabytecodes |