Matches in SemOpenAlex for { <https://semopenalex.org/work/W28357549> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W28357549 abstract "Pasture [5] is a secure messaging and logging library that enables secure off-line data access on untrusted user devices by leveraging commodity trusted hardware. Pasture does not trust the application, OS, or hypervisor and even admits hardware snooping attacks, while providing two important safety properties: access-undeniability (a user cannot deny any off-line 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). Each node running Pasture uses its Trusted Platform Module to protect and log access to encryption keys that shield the data. Permanently forfeiting the ability to access an unused decryption key is the basis of revocation. This report presents a formal specification, written in TLA+ [7], for the actions of a Pasture node, along with the results of checking the specification using the TLC model checker. We also present a formal proof of the Pasture safety properties, which has been mechanically checked using the TLA+ proof system [2]. These results have been presented at a TLA Workshop [11]. This report also presents a formal specification and correctness proof of an optimized version of Pasture, in which the functions of two of Pasture’s Program Configuration Registers (PCRs) have been combined into one PCR. In spite of the slight change in the specification, the formal proof of correctness of optimized Pasture is almost identical to the original proof." @default.
- W28357549 created "2016-06-24" @default.
- W28357549 creator A5010998008 @default.
- W28357549 creator A5066623526 @default.
- W28357549 date "2012-08-17" @default.
- W28357549 modified "2023-09-23" @default.
- W28357549 title "Pasture Node State Specification" @default.
- W28357549 cites W1504504841 @default.
- W28357549 cites W1626908390 @default.
- W28357549 cites W1627002016 @default.
- W28357549 cites W167675403 @default.
- W28357549 cites W2103131117 @default.
- W28357549 cites W2136310957 @default.
- W28357549 cites W2167804035 @default.
- W28357549 cites W68569306 @default.
- W28357549 cites W93810569 @default.
- W28357549 hasPublicationYear "2012" @default.
- W28357549 type Work @default.
- W28357549 sameAs 28357549 @default.
- W28357549 citedByCount "1" @default.
- W28357549 countsByYear W283575492012 @default.
- W28357549 crossrefType "journal-article" @default.
- W28357549 hasAuthorship W28357549A5010998008 @default.
- W28357549 hasAuthorship W28357549A5066623526 @default.
- W28357549 hasConcept C177264268 @default.
- W28357549 hasConcept C199360897 @default.
- W28357549 hasConcept C2775892892 @default.
- W28357549 hasConcept C2779960059 @default.
- W28357549 hasConcept C38652104 @default.
- W28357549 hasConcept C41008148 @default.
- W28357549 hasConcept C55439883 @default.
- W28357549 hasConcept C85847156 @default.
- W28357549 hasConceptScore W28357549C177264268 @default.
- W28357549 hasConceptScore W28357549C199360897 @default.
- W28357549 hasConceptScore W28357549C2775892892 @default.
- W28357549 hasConceptScore W28357549C2779960059 @default.
- W28357549 hasConceptScore W28357549C38652104 @default.
- W28357549 hasConceptScore W28357549C41008148 @default.
- W28357549 hasConceptScore W28357549C55439883 @default.
- W28357549 hasConceptScore W28357549C85847156 @default.
- W28357549 hasLocation W283575491 @default.
- W28357549 hasOpenAccess W28357549 @default.
- W28357549 hasPrimaryLocation W283575491 @default.
- W28357549 hasRelatedWork W1517272117 @default.
- W28357549 hasRelatedWork W1532236297 @default.
- W28357549 hasRelatedWork W1597597262 @default.
- W28357549 hasRelatedWork W1951334222 @default.
- W28357549 hasRelatedWork W1959791580 @default.
- W28357549 hasRelatedWork W2046856381 @default.
- W28357549 hasRelatedWork W2100683351 @default.
- W28357549 hasRelatedWork W2105262366 @default.
- W28357549 hasRelatedWork W2111306891 @default.
- W28357549 hasRelatedWork W2120152919 @default.
- W28357549 hasRelatedWork W2145835327 @default.
- W28357549 hasRelatedWork W2162808394 @default.
- W28357549 hasRelatedWork W2226491245 @default.
- W28357549 hasRelatedWork W2296053137 @default.
- W28357549 hasRelatedWork W2386315038 @default.
- W28357549 hasRelatedWork W2413691952 @default.
- W28357549 hasRelatedWork W2632861216 @default.
- W28357549 hasRelatedWork W2752598771 @default.
- W28357549 hasRelatedWork W3003355714 @default.
- W28357549 hasRelatedWork W2188455844 @default.
- W28357549 isParatext "false" @default.
- W28357549 isRetracted "false" @default.
- W28357549 magId "28357549" @default.
- W28357549 workType "article" @default.