{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:08:39Z","timestamp":1725559719882},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145766"},{"type":"electronic","value":"9783642145773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14577-3_7","type":"book-chapter","created":{"date-parts":[[2010,7,16]],"date-time":"2010-07-16T04:11:34Z","timestamp":1279253494000},"page":"51-65","source":"Crossref","is-referenced-by-count":3,"title":["Implementing a High-Assurance Smart-Card OS"],"prefix":"10.1007","author":[{"given":"Paul A.","family":"Karger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David C.","family":"Toll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine R.","family":"Palmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzanne K.","family":"McIntosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan W.","family":"Edwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/11741060_9","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"S.Z. B\u00e9guelin","year":"2006","unstructured":"B\u00e9guelin, S.Z.: Formalisation and verification of the GlobalPlatform card specification using the B method. In: Barthe, G., Gr\u00e9goire, B., Huisman, M., Lanet, J.-L. (eds.) CASSIS 2005. LNCS, vol.\u00a03956, pp. 155\u2013173. Springer, Heidelberg (2006)"},{"key":"7_CR2","unstructured":"Bell, D.E., LaPadula, L.J.: Computer Security Model: Unified Exposition and Multics Interpretation. In: ESD\u2013TR\u201375\u2013306, The MITRE Corporation, Bedford, MA, HQ Electronic Systems Division, Hanscom AFB, MA (June 1975), http:\/\/csrc.nist.gov\/publications\/history\/bell76.pdf"},{"key":"7_CR3","unstructured":"Biba, K.J.: Integrity Considerations for Secure Computer Systems. In: ESD\u2013TR\u201376\u2013372, The MITRE Corporation, Bedford, MA, HQ Electronic Systems Division, Hanscom AFB, MA (April 1977), http:\/\/handle.dtic.mil\/100.2\/ADA039324"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"J.B. Dennis","year":"1966","unstructured":"Dennis, J.B., Van Horn, E.C.: Programming semantics for multiprogrammed computations. ACM Commun.\u00a09(3), 143\u2013155 (1966)","journal-title":"ACM Commun."},{"issue":"6","key":"7_CR5","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"IT-22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Trans. on Information Theory\u00a0IT-22(6), 644\u2013654 (1976)","journal-title":"IEEE Trans. on Information Theory"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Notes on Data Base Operating Systems","author":"J.N. Gray","year":"1978","unstructured":"Gray, J.N.: Notes on Data Base Operating Systems. LNCS, vol.\u00a060, pp. 393\u2013481. Springer, Berlin (1978)"},{"key":"7_CR7","unstructured":"IBM 4764 Model 001 PCI-X Cryptographic Coprocessor. Data Sheet G221-9091-05, http:\/\/www-03.ibm.com\/security\/cryptocards\/pdfs\/4764-001_PCIX_Data_Sheet.pdf"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Karger, P.A., Kc, G.S., Toll, D.C.: Privacy is essential for secure mobile devices. IBM Journal of Research and Development\u00a053(2) (2009)","DOI":"10.1147\/JRD.2009.5429047"},{"key":"7_CR9","unstructured":"Karger, P.A., Toll, D.C., McIntosh, S.K.: Processor requirements for a high security smart card operating system. In: Eighth e-Smart Conference, Eurosmart, Sophia Antipolis, France, September 19-21 (2007), IBM Research Div. Rpt. RC 24219 (W0703-091), http:\/\/domino.watson.ibm.com\/library\/CyberDig.nsf\/Home"},{"issue":"11","key":"7_CR10","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.106971","volume":"17","author":"P.A. Karger","year":"1991","unstructured":"Karger, P.A., Zurko, M.E., Bonin, D.W., Mason, A.H., Kahn, C.E.: A retrospective on the VAX VMM security kernel. IEEE Trans. on Software Eng.\u00a017(11), 1147\u20131165 (1991)","journal-title":"IEEE Trans. on Software Eng."},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/047085670X","volume-title":"Smart Card Handbook: Third Edition","author":"W. Rankl","year":"2003","unstructured":"Rankl, W., Effing, W.: Smart Card Handbook: Third Edition. John Wiley & Sons, Chichester (2003)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/10722599_2","volume-title":"Computer Security - ESORICS 2000","author":"G. Schellhorn","year":"2000","unstructured":"Schellhorn, G., Reif, W., Schairer, A., Karger, P., Austel, V., Toll, D.: Verification of a formal security model for multiapplicative smart cards. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol.\u00a01895, pp. 17\u201336. Springer, Heidelberg (2000)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-39650-5_11","volume-title":"Computer Security \u2013 ESORICS 2003","author":"H. Scherzer","year":"2003","unstructured":"Scherzer, H., Canetti, R., Karger, P.A., Krawczyk, H., Rabin, T., Toll, D.C.: Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 181\u2013200. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/1341312.1341320","volume":"42","author":"D.C. Toll","year":"2008","unstructured":"Toll, D.C., Karger, P.A., Palmer, E.R., McIntosh, S.K., Weber, S.: The Caernarvon secure embedded operating system. Operating Systems Review\u00a042(1), 32\u201339 (2008)","journal-title":"Operating Systems Review"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Whitmore, J., Bensoussan, A., Green, P., Hunt, D., Kobziar, A., Stern, J.: Design for Multics security enhancements. In: ESD\u2013TR\u201374\u2013176, Honeywell Information Systems, Inc., HQ Electronic Systems Division, Hanscom AFB, MA (December 1973), http:\/\/csrc.nist.gov\/publications\/history\/whit74.pdf","DOI":"10.21236\/ADA030801"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14577-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:54:59Z","timestamp":1606168499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14577-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145766","9783642145773"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14577-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}