Small Trusted Primitives for Dependable Systems Petros Maniatis Intel Labs Berkeley Byung-Gon Chun Intel Labs Berkeley ABSTRACT Secure, fault-tolerant distributed systems are di cult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault tolerance depend on a very small number of assumptions taken on faith; such assumptions are typically called the trusted computing base (TCB) of a system. However, a rich trade-o exists between larger TCBs and more secure, more faulttolerant, or more e cient systems. In our recent work, we have explored this trade-o by de ning small, generic trusted primitives for example, an attested, monotonically sequenced FIFO bu er of a few hundred machine words guaranteed to hold appended words until eviction and showing how such primitives can improve the performance, fault tolerance, and security of systems using them. In this article, we review our e orts in generating simple trusted primitives such as an attested circular bu er (called Attested Appendonly Memory), and an attested human activity detector. We describe the bene ts of using these primitives to increase the fault-tolerance of replicated systems and archival storage, and to improve the
End of preview. The entire article is 16 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/small-trusted-primitives-for-dependable-systems-OSutxsG5ia
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Small trusted primitives for dependable systems
Maniatis, Petros; Chun, Byung-Gon
Follow ACM SIGOPS Operating Systems Review
, Volume 45 (1)
Association for Computing Machinery – Feb 18, 2011
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
