{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T21:02:59Z","timestamp":1744232579538,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540446019"},{"type":"electronic","value":"9783540446057"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11863908_28","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T03:28:46Z","timestamp":1158377326000},"page":"461-478","source":"Crossref","is-referenced-by-count":15,"title":["Policy-Driven Memory Protection for Reconfigurable Hardware"],"prefix":"10.1007","author":[{"given":"Ted","family":"Huffmire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shreyas","family":"Prasad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Sherwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. Aho","year":"1988","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison Wesley, Reading (1988)"},{"key":"28_CR2","unstructured":"Altera Inc. Quartus II Manual (2004)"},{"key":"28_CR3","unstructured":"Anderson, J.P.: Computer security technology planning study. Technical Report ESD-TR-73-51, ESD\/AFSC, Hanscorn AFB, Bedford, MA (1972)"},{"issue":"7","key":"28_CR4","doi-asserted-by":"publisher","first-page":"1201","DOI":"10.1109\/JPROC.2002.801446","volume":"90","author":"K. Bondalapati","year":"2002","unstructured":"Bondalapati, K., Prasanna, V.K.: Reconfigurable computing systems. Proceedings of the IEEE\u00a090(7), 1201\u20131217 (2002)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"28_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01212869","volume":"9","author":"D.A. Buell","year":"1995","unstructured":"Buell, D.A., Pocek, K.L.: Custom computing machines: An introduction. Journal of Supercomputing\u00a09(3), 219\u2013229 (1995)","journal-title":"Journal of Supercomputing"},{"key":"28_CR6","first-page":"171","volume-title":"ACM Computing Surveys","author":"K. Compton","year":"2002","unstructured":"Compton, K., Hauck, S.: Reconfigurable computing: A survey of systems and software. In: ACM Computing Surveys, USA, vol.\u00a034(2), pp. 171\u2013210. ACM, New York (2002)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"DeHon, A.: Comparing computing machines. In: SPIE-Int. Soc. Opt. Eng. Proceedings of SPIE - the International Society for Optical Engineering, vol.\u00a03526, pp. 124\u2013133 (1998)","DOI":"10.1117\/12.327025"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"DeHon, A., Wawrzynek, J.: Reconfigurable computing: what, why, and implications for design automation. In: Proceedings of the Design Automation Conference, West Point, NY, pp. 610\u2013615 (1999)","DOI":"10.1145\/309847.310009"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: Sasi enforcement of security policies: A retrospective. In: Proceedings of the 1999 Workshop on New Security Paradigms (1999)","DOI":"10.1145\/335169.335201"},{"key":"28_CR10","unstructured":"Fong, P.W.L.: Access control by tracking shallow execution history. In: Proceedings of the 2004 IEEE Symposium on Security and Privacy (2004)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Gutmann, P., Grigg, I.: Security usability. IEEE Security and Privacy Magazine (July\/ August 2005)","DOI":"10.1109\/MSP.2005.104"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Irvine, C., Levin, T., Nguyen, T., Dinolt, G.: The trusted computing exemplar project. In: Proceedings of the 5th IEEE Systems, Man and Cybernetics Information Assurance Workshop, West Point, NY, pp. 109\u2013115 (June 2004)","DOI":"10.1109\/IAW.2004.1437805"},{"key":"28_CR13","unstructured":"Irvine, C.E., Levin, T.E., Nguyen, T.D., Shifflett, D., Khosalim, J., Clark, P.C., Wong, A., Afinidad, F., Bibighaus, D., Sears, J.: Overview of a high assurance architecture for distributed multilevel security. In: Proceedings of the 2002 IEEE Workshop on Information Assurance and Security, West Point, NY (June 2002)"},{"key":"28_CR14","unstructured":"Johnson, S.: Yacc: Yet another compiler-compiler. Technical Report CSTR-32, Bell Laboratories, Murray Hill, NJ (1975)"},{"key":"28_CR15","volume-title":"Synthesis Techniques and Optimizations for Reconfigurable Systems","author":"R. Kastner","year":"2004","unstructured":"Kastner, R., Kaplan, A., Sarrafzadeh, M.: Synthesis Techniques and Optimizations for Reconfigurable Systems. Kluwer Academic, Boston (2004)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Kocher, P., Lee, R., McGraw, G., Raghunathan, A., Ravi, S.: Security as a new dimension in embedded system design. In: Proceedings of the 41st Design Automation Conference (DAC 2004), San Diego, CA (June 2004)","DOI":"10.1145\/996566.996771"},{"key":"28_CR17","unstructured":"Lesk, M., Schmidt, E.: Lex: A lexical analyzer generator. Technical Report\u00a039, Bell Laboratories, Murray Hill, NJ (October 1975)"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Levin, T.E., Irvine, C.E., Nguyen, T.D.: A least privilege model for static separation kernels. Technical Report NPS-CS-05-003, Naval Postgraduate School (2004)","DOI":"10.21236\/ADA526333"},{"key":"28_CR19","unstructured":"Linz, P.: An Introduction to Formal Languages and Automata. Jones and Bartlett, Sudbury, MA (2001)"},{"issue":"12","key":"28_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.642810","volume":"30","author":"W.H. Mangione-Smith","year":"1997","unstructured":"Mangione-Smith, W.H., Hutchings, B., Andrews, D., DeHon, A., Ebeling, C., Hartenstein, R., Mencer, O., Morris, J., Palem, K., Prasanna, V.K., Spaanenburg, H.A.E.: Seeking solutions in configurable computing. Computer\u00a030(12), 38\u201343 (1997)","journal-title":"Computer"},{"key":"28_CR21","volume-title":"Synthesis and Optimization of Digital Circuits","author":"G. Micheli De","year":"1994","unstructured":"De Micheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill, New York (1994)"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Navarro, J., Iyer, S., Druschel, P., Cox, A.: Practical, transparent operating system support for superpages. In: Fifth Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA (December 2002)","DOI":"10.1145\/1060289.1060299"},{"key":"28_CR23","first-page":"341","volume":"11","author":"D. Raymond","year":"1995","unstructured":"Raymond, D., Wood, D.: Grail: A C++ library for automata and expressions. Journal of Symbolic Computation\u00a011, 341\u2013350 (1995)","journal-title":"Journal of Symbolic Computation"},{"issue":"5","key":"28_CR24","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/1067627.806586","volume":"15","author":"J. Rushby","year":"1981","unstructured":"Rushby, J.: Design and verification of secure systems. ACM Operating Systems Review\u00a015(5), 12\u201321 (1981)","journal-title":"ACM Operating Systems Review"},{"key":"28_CR25","unstructured":"Rushby, J.: A trusted computing base for embedded systems. In: Proceedings 7th DoD\/NBS Computer Security Conference, pp. 294\u2013311 (September 1984)"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1) (January 2003)","DOI":"10.1109\/JSAC.2002.806121"},{"issue":"7","key":"28_CR27","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/361011.361067","volume":"17","author":"J. Saltzer","year":"1974","unstructured":"Saltzer, J.: Protection and the control of information sharing in multics. Communications of the ACM\u00a017(7), 388\u2013402 (1974)","journal-title":"Communications of the ACM"},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"Sami Saydjari, O.: Multilevel security: Reprise. IEEE Security and Privacy Magazine (September\/October 2004)","DOI":"10.1109\/MSP.2004.78"},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"Schaumont, P., Verbauwhede, I., Keutzer, K., Sarrafzadeh, M.: A quick safari through the reconfiguration jungle. In: Proceedings of the Design Automation Conference, pp. 172\u2013177 (2001)","DOI":"10.1145\/378239.378404"},{"key":"28_CR30","doi-asserted-by":"crossref","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1) (February 2000)","DOI":"10.1145\/353323.353382"},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Smith, R.E.: Cost profile of a highly assured, secure operating system. ACM Transactions on Information and System Security (2001)","DOI":"10.1145\/383775.383778"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Stern, D.F.: On the buzzword \u201dsecurity policy\u201d. In: Proceedings of the 1991 IEEE Symposium on Security and Privacy, Oakland, CA, pp. 219\u2013230 (1991)","DOI":"10.1109\/RISP.1991.130789"},{"issue":"1","key":"28_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/92.486081","volume":"4","author":"J.E. Vuillemin","year":"1996","unstructured":"Vuillemin, J.E., Bertin, P., Roncin, D., Shand, M., Touati, H.H., Boucard, P.: Programmable active memories: Reconfigurable systems come of age. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a04(1), 56\u201369 (1996)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"28_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/CSAC.2003.1254305","volume-title":"Proceedings of the Annual Computer Security Applications Conference","author":"C. Weissman","year":"2003","unstructured":"Weissman, C.: MLS-PCA: A high assurance security architecture for future avionics. In: Proceedings of the Annual Computer Security Applications Conference, pp. 2\u201312. IEEE Computer Society, Los Alamitos (2003)"},{"key":"28_CR35","doi-asserted-by":"crossref","unstructured":"Witchel, E., Cates, J., Asanovic, K.: Mondrian memory protection. In: Tenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, CA (October 2002)","DOI":"10.1145\/605397.605429"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11863908_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:47:15Z","timestamp":1736545635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11863908_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540446019","9783540446057"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11863908_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}