{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T17:04:11Z","timestamp":1746119051382,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/secpri.2003.1199335","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T10:43:37Z","timestamp":1084445017000},"page":"166-177","source":"Crossref","is-referenced-by-count":34,"title":["Specifying and verifying hardware for tamper-resistant software"],"prefix":"10.1109","author":[{"given":"D.","family":"Lie","sequence":"first","affiliation":[]},{"given":"J.","family":"Mitchell","sequence":"additional","affiliation":[]},{"given":"C.A.","family":"Thekkath","sequence":"additional","affiliation":[]},{"given":"M.","family":"Horowitz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Keeping secrets in hardware: The microsoft XBox case study","author":"huang","year":"2002","journal-title":"Technical Report 2002-008 Massachusetts Institute of Technology"},{"key":"ref11","article-title":"The TrustNo1 cryptoprocessor concept","author":"kuhn","year":"1997","journal-title":"Technical Renort CS555 Purdue University"},{"journal-title":"Specifying Systems","year":"2002","author":"lamport","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2001.937448"},{"key":"ref14","first-page":"168","article-title":"Architectural support for copy and tamper resistant software","author":"lie","year":"2000","journal-title":"Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems"},{"key":"ref15","first-page":"112","article-title":"A probabilistic poly-time framework for protocol analysis","author":"lincoln","year":"1998","journal-title":"Computer Communications of the ACM"},{"key":"ref16","first-page":"242","article-title":"Formal verification of the gigamax cache consistency protocol","author":"mcmillan","year":"1991","journal-title":"proceedings of the International Symposium on Shared Memory Multiprocessing"},{"key":"ref17","first-page":"141","article-title":"Automated analysis of cryptographic protocols using murphi","author":"mitchell","year":"1997","journal-title":"IEEE Symposium on Security and Privacy"},{"year":"0","key":"ref18","article-title":"Microsoft palladium initiative - technical FAQ"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1995.518556"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276232"},{"key":"ref27","article-title":"Dyad: A system for using physically secure coprocessors","author":"tygar","year":"1991","journal-title":"Technical report CMU-CS-91-132 Carnegie Mellon University"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44750-4_2","article-title":"XOR MAC's: New methods for message authentication using finite pseudorandom functions","volume":"963","author":"bellare","year":"1995","journal-title":"CRYPT0'95 In Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/330643.330646"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref8","article-title":"The design of a cryptographic security architecture","author":"gutmann","year":"1999","journal-title":"USENIX Security Symposium"},{"key":"ref7","first-page":"295","article-title":"Caches and merkle trees for efficient memory authentication","author":"gassend","year":"2003","journal-title":"Proc Ninth Int l Symp High-Performance Computer Architecture"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref1","first-page":"1","article-title":"A calculus for cryptographic protocols: the spi calculus. Information and Computation","volume":"143","author":"abadi","year":"1999","journal-title":"Expanded version available as SRC Research Report 149 (January 1998)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"ref22","first-page":"119","article-title":"Analysis of a fair exchange protocol","author":"shmatikov","year":"2000","journal-title":"Seventh Annual Symposium on Network and Distributed System Security"},{"key":"ref21","first-page":"176","article-title":"How to manage persistent state in DRM systems","author":"shapiro","year":"2001","journal-title":"Digital Rights Management Workshop"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055474"},{"key":"ref23","article-title":"Validating a high-performance, programmable secure coprocessor","author":"smith","year":"1999","journal-title":"Proc National Information Systems Security Conf"},{"year":"2000","key":"ref26","article-title":"The Trusted Computing Platform Alliance"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60385-9_2","article-title":"Automatic verification of the SCI cache coherence protocol","author":"stern","year":"1995","journal-title":"IFIP WG 10 5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods"}],"event":{"name":"2003 Symposium on Security and Privacy","acronym":"SECPRI-03","location":"Berkeley, CA, USA"},"container-title":["Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8543\/27002\/01199335.pdf?arnumber=1199335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:02:09Z","timestamp":1497582129000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1199335\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/secpri.2003.1199335","relation":{},"subject":[]}}