Operating Systems Design and Implementation · 2012 · 19 citations · 37 references
ComputingComputer ScienceComputer SystemsComputer SecurityMobile ComputingMobile SecurityAccess ControlData SecurityEmbedded SecurityMessage LoggingOperating System SecuritySecure Mobile CommunicationData AccessData AvailabilitySafety PropertiesSecure LoggingSecure MessagingSecurity MechanismsTrusted ComputingTrusted Systems
This paper presents Pasture, a secure messaging and logging library that enables rich mobile experiences by providing secure offline data access. Without trusting users, applications, operating systems, or hypervisors, Pasture leverages commodity trusted hardware to provide two important safety properties: access-undeniability (a user cannot deny any offline data access obtained by his device without failing an audit) and verifiable-revocation (a user who generates a verifiable proof of revocation of unaccessed data can never access that data in the future).For practical viability, Pasture moves costly trusted hardware operations from common data access actions to uncommon recovery and checkpoint actions. We used Pasture to augment three applications with secure offline data access to provide high availability, rich functionality, and improved consistency. Our evaluation suggests that Pasture overheads are acceptable for these applications.
37
Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations
Tal Garfinkel, Ben Pfaff, Jim Chow et al. · ACM SIGOPS Operating Systems Review · 2003 · 897 citations
Managing update conflicts in Bayou, a weakly connected replicated storage system
Doug Terry, Marvin Theimer, Karin Anna Petersen et al. · 1995 · 814 citations · Full text
Jonathan M. McCune, Bryan Parno, Adrian Perrig et al. · 2008 · 646 citations
Engineering, Computer Engineering, Electrical Engineering +14