{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:46:47Z","timestamp":1725796007696},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319085920"},{"type":"electronic","value":"9783319085937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08593-7_2","type":"book-chapter","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T12:55:19Z","timestamp":1403528119000},"page":"19-36","source":"Crossref","is-referenced-by-count":21,"title":["Continuous Tamper-Proof Logging Using TPM 2.0"],"prefix":"10.1007","author":[{"given":"Arunesh","family":"Sinha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"England","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob R.","family":"Lorch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Schneier, B., Kelsey, J.: Cryptographic support for secure logs on untrusted machines. In: USENIX Security (1998)"},{"key":"2_CR2","unstructured":"Levin, D., Douceur, J.R., Lorch, J.R., Moscibroda, T.: Trinc: Small trusted hardware for large distributed systems. In: NSDI (2009)"},{"key":"2_CR3","unstructured":"Crosby, S.A., Wallach, D.S.: Efficient data structures for tamper evident logging. In: USENIX Security (2009)"},{"issue":"6","key":"2_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1323293.1294280","volume":"41","author":"B.-G. Chun","year":"2007","unstructured":"Chun, B.-G., Maniatis, P., Shenker, S., Kubiatowicz, J.: Attested append-only memory: Making adversaries stick to their word. ACM SIGOPS Operating Systems Review\u00a041(6), 189\u2013204 (2007)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Snodgrass, R.T., Yao, S.S., Collberg, C.: Tamper detection in audit logs. In: VLDB (2004)","DOI":"10.1016\/B978-012088469-8.50046-2"},{"key":"2_CR6","unstructured":"Von Eye, F., Schmitz, D., Hommel, W.: A framework for secure logging with privacy protection and integrity. In: ICIMP (2014)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Sarmenta, L.F.G., van Dijk, M., O\u2019Donnell, C.W., Rhodes, J., Devadas, S.: Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. In: ACM STC (2006)","DOI":"10.1145\/1179474.1179485"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"van Dijk, M., Rhodes, J., Sarmenta, L.F.G., Devadas, S.: Offline untrusted storage with immediate detection of forking and replay attacks. In: ACM STC (2007)","DOI":"10.1145\/1314354.1314364"},{"key":"2_CR9","unstructured":"Bellare, M., Yee, B.: Forward integrity for secure audit logs. Technical report, University of California at San Diego (1997)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Sinha, A., Jia, L., England, P., Lorch, J.: Continuous tamper-proof logging using TPM 2.0. Technical Report CMU-CyLab-13-008, Carngie Mellon University (2013)","DOI":"10.21236\/ADA609110"},{"key":"2_CR11","unstructured":"TrustedComputingGroup: TPM library specification, http:\/\/www.trustedcomputinggroup.org\/resources\/tpm_library_specification"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Parno, B., Lorch, J.R., Douceur, J.R., Mickens, J.W., McCune, J.M.: Memoir: Practical state continuity for protected modules. In: IEEE S&P (2011)","DOI":"10.1109\/SP.2011.38"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Garg, D., Franklin, J., Kaynar, D.K., Datta, A.: Compositional system security with interface-confined adversaries. In: MFPS (2010)","DOI":"10.1016\/j.entcs.2010.08.005"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Datta, A., Franklin, J., Garg, D., Kaynar, D.K.: A logic of secure systems and its application to trusted computing. In: IEEE S&P (2009)","DOI":"10.1109\/SP.2009.16"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Vaughan, J.A., Jia, L., Mazurak, K., Zdancewic, S.: Evidence-based audit. In: CSF (2008)","DOI":"10.1109\/CSF.2008.24"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Bauer, L., Garriss, S., Reiter, M.K.: Detecting and resolving policy misconfigurations in access-control systems. ACM Transactions on Information and System Security\u00a014(1) (2011)","DOI":"10.1145\/1952982.1952984"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Feigenbaum, J., Jaggard, A.D., Wright, R.N.: Towards a formal model of accountability. In: NSPW (2011)","DOI":"10.1145\/2073276.2073282"},{"key":"2_CR18","unstructured":"Kelsey, J., Schneier, B.: Minimizing bandwidth for remote access to cryptographically protected audit logs. In: RAID (1999)"},{"key":"2_CR19","unstructured":"Waters, B.R., Balfanz, D., Durfee, G., Smetters, D.K.: Building an encrypted and searchable audit log. In: NDSS (2004)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Chong, C.N., Peng, Z.: Secure audit logging with tamper-resistant hardware. In: IFIP SEC (2003)","DOI":"10.1007\/978-0-387-35691-4_7"},{"key":"2_CR21","unstructured":"Naor, M., Nissim, K.: Certificate revocation and certificate update. In: USENIX Security (1998)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Goodrich, M.T., Tamassia, R., Schwerin, A.: Implementation of an authenticated dictionary with skip lists and commutative hashing. In: DISCEX (2001)","DOI":"10.1109\/DISCEX.2001.932160"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s00453-003-1076-8","volume":"39","author":"C. Martel","year":"2004","unstructured":"Martel, C., Nuckolls, G., Devanbu, P., Gertz, M., Kwong, A., Stubblebine, S.G.: A general model for authenticated data structures. Algorithmica\u00a039(1), 21\u201341 (2004)","journal-title":"Algorithmica"},{"issue":"4","key":"2_CR24","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/1357010.1352625","volume":"42","author":"J.M. McCune","year":"2008","unstructured":"McCune, J.M., Parno, B.J., Perrig, A., Reiter, M.K., Isozaki, H.: Flicker: An execution infrastructure for TCB minimization. ACM SIGOPS Operating Systems Review\u00a042(4), 315\u2013328 (2008)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Parno, B., McCune, J.M., Perrig, A.: Bootstrapping trust in commodity computers. In: IEEE S&P (2010)","DOI":"10.1109\/SP.2010.32"},{"key":"2_CR26","unstructured":"MaximIntegrated: What is an iButton device? http:\/\/www.maximintegrated.com\/products\/ibutton\/ibuttons\/"},{"key":"2_CR27","unstructured":"Jang, D., Tatlock, Z., Lerner, S.: Establishing browser security guarantees through formal shim verification. In: USENIX Security (2012)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: formal verification of an OS kernel. In: SOSP (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Ma, D., Tsudik, G.: Forward-secure sequential aggregate authentication. In: IEEE S&P (2007)","DOI":"10.1109\/SP.2007.18"},{"issue":"1","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1502777.1502779","volume":"5","author":"D. Ma","year":"2009","unstructured":"Ma, D., Tsudik, G.: A new approach to secure logging. Trans. Storage\u00a05(1), 1\u20132 (2009)","journal-title":"Trans. Storage"}],"container-title":["Lecture Notes in Computer Science","Trust and Trustworthy Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08593-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T20:41:58Z","timestamp":1565556118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08593-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319085920","9783319085937"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08593-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}