| dc.contributor.author | Kang, Eunsuk | |
| dc.contributor.author | Jackson, Daniel | |
| dc.date.accessioned | 2014-05-09T17:30:44Z | |
| dc.date.available | 2014-05-09T17:30:44Z | |
| dc.date.issued | 2010-10 | |
| dc.identifier.isbn | 9781450301077 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/86918 | |
| dc.description.abstract | We propose a set of patterns for structuring a system to be dependable by design. The key idea is to localize the system's most critical requirements into small, reliable parts called trusted bases. We describe two instances of trusted bases: (1) the end-to-end check, which localizes the correctness checking of a computation to end points of a system, and (2) the trusted kernel, which ensures the safety of a set of resources with a small core of a system. | en_US |
| dc.description.sponsorship | Northrop Grumman Cybersecurity Research Consortium | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Deep and Scalable Analysis of Software Grant 0541183) | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (CRI: CRD - Development of Alloy Technology and Materials Grant 0707612) | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Association for Computing Machinery (ACM) | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1145/2493288.2493307 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
| dc.source | MIT web domain | en_US |
| dc.title | Patterns for building dependable systems with trusted bases | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Eunsuk Kang and Daniel Jackson. 2010. Patterns for building dependable systems with trusted bases. In Proceedings of the 17th Conference on Pattern Languages of Programs (PLOP '10). ACM, New York, NY, USA, Article 19, 14 pages. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.mitauthor | Kang, Eunsuk | en_US |
| dc.contributor.mitauthor | Jackson, Daniel | en_US |
| dc.relation.journal | Proceedings of the 17th Conference on Pattern Languages of Programs (PLOP '10) | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dspace.orderedauthors | Kang, Eunsuk; Jackson, Daniel | en_US |
| dc.identifier.orcid | https://orcid.org/0000-0002-0194-3989 | |
| dc.identifier.orcid | https://orcid.org/0000-0003-4864-078X | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
