كتاب
Preliminary Design of the SAFE Platform
العنوان: | Preliminary Design of the SAFE Platform |
---|---|
المؤلفون: | Morrisett, John Gregory, DeHon, André, Karel, Ben, Malecha, Gregory Michael, Montagu, Benoît, Morisset, Robin, Pierce, Benjamin C., Pollack, Randy, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory, Knight, Thomas F., Jr. |
المصدر: | DeHon, André, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, et al. 2011. Preliminary design of the SAFE platform. In Proceedings of the 6th workshop on programming languages and operating systems. New York: Association for Computing Machinery. |
بيانات النشر: | Association for Computing Machinery, 2011. |
سنة النشر: | 2011 |
المجموعة: | FAS Scholarly Articles |
الوصف: | SAFE is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices. Engineering and Applied Sciences |
نوع الوثيقة: | Monograph or Book |
اللغة: | English |
ردمك: | 978-1-4503-0979-0 1-4503-0979-8 |
Relation: | Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS 2011) |
URL الوصول: | http://nrs.harvard.edu/urn-3:HUL.InstRepos:9793866 |
رقم الأكسشن: | edshld.1.9793866 |
قاعدة البيانات: | Digital Access to Scholarship at Harvard (DASH) |
ردمك: | 9781450309790 1450309798 |
---|