{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:50:12Z","timestamp":1742997012223,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027031"},{"type":"electronic","value":"9783642027048"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02704-8_11","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T13:32:50Z","timestamp":1246282370000},"page":"134-148","source":"Crossref","is-referenced-by-count":0,"title":["ALOPA: Authorization Logic for Property Attestation in Trusted Platforms"],"prefix":"10.1007","author":[{"given":"Aarthi","family":"Nagarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Varadharajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Hitchens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Trusted Computing Group: TPM Main - Part 1 Design Principles, Version 1.2, Revision 103 (July 2007)"},{"key":"11_CR2","unstructured":"Poritz, J., Schunter, M., Herreweghen, E.V., Waidner, M.: Property Attestation\u2014Scalable and Privacy-Friendly Security Assessment of Peer Computers. Technical report, IBM Research (May 2004)"},{"key":"11_CR3","first-page":"67","volume-title":"NSPW 2004: Proceedings of the 2004 Workshop on New Security Paradigms","author":"A.R. Sadeghi","year":"2004","unstructured":"Sadeghi, A.R., St\u00fcble, C.: Property-Based Attestation for Computing Platforms: Caring about Properties, not Mechanisms. In: NSPW 2004: Proceedings of the 2004 Workshop on New Security Paradigms, pp. 67\u201377. ACM, New York (2004)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1314354.1314369","volume-title":"STC 2007: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing","author":"A. Nagarajan","year":"2007","unstructured":"Nagarajan, A., Varadharajan, V., Hitchens, M.: Trust Management for Trusted Computing Platforms in Web Services. In: STC 2007: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 58\u201362. ACM, New York (2007)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-70567-3_18","volume-title":"Data and Applications Security XXII","author":"A. Nagarajan","year":"2008","unstructured":"Nagarajan, A., Varadharajan, V., Hitchens, M., Arora, S.: On the Applicability of Trusted Computing in Distributed Authorization Using Web Services. In: Atluri, V. (ed.) DAS 2008. LNCS, vol.\u00a05094, pp. 222\u2013237. Springer, Heidelberg (2008)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1179474.1179479","volume-title":"STC 2006: Proceedings of the first ACM workshop on Scalable Trusted Computing","author":"L. Chen","year":"2006","unstructured":"Chen, L., Landfermann, R., L\u00f6hr, H., Rohe, M., Sadeghi, A.R., St\u00fcble, C.: A Protocol for Property-Based Attestation. In: STC 2006: Proceedings of the first ACM workshop on Scalable Trusted Computing, pp. 7\u201316. ACM, New York (2006)"},{"key":"11_CR7","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a Role-Based Trust Management Framework. In: Proc. IEEE Symposium on Security and Privacy, Oakland (May 2002)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/SECPRI.2001.924291","volume-title":"SP 2001: Proceedings of the 2001 IEEE Symposium on Security and Privacy","author":"T. Jim","year":"2001","unstructured":"Jim, T.: SD3: A Trust Management System with Certified Evaluation. In: SP 2001: Proceedings of the 2001 IEEE Symposium on Security and Privacy, Washington, DC, USA, p. 106. IEEE Computer Society, Los Alamitos (2001)"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/SECPRI.2002.1004365","volume-title":"SP 2002: Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"J. DeTreville","year":"2002","unstructured":"DeTreville, J.: Binder - A Logic-Based Security Language. In: SP 2002: Proceedings of the 2002 IEEE Symposium on Security and Privacy, Washington, DC, USA, p. 105. IEEE Computer Society, Los Alamitos (2002)"},{"key":"11_CR10","first-page":"31","volume-title":"SP 1997: Proceedings of the 1997 IEEE Symposium on Security and Privacy","author":"S. Jajodia","year":"1997","unstructured":"Jajodia, S., Samarati, P., Subrahmanian, V.S.: A Logical Language for Expressing Authorizations. In: SP 1997: Proceedings of the 1997 IEEE Symposium on Security and Privacy, Washington, DC, USA, p. 31. IEEE Computer Society, Los Alamitos (1997)"},{"key":"11_CR11","unstructured":"Rivest, R.L., Lampson, B.: SDSI - A Simple Distributed Security Infrastructure. Presented at CRYPTO 1996 Rumpsession (1996)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/SECPRI.2000.848442","volume-title":"SP 2000: Proceedings of the IEEE Symposium on Security and Privacy","author":"A. Herzberg","year":"2000","unstructured":"Herzberg, A., Mass, Y., Michaeli, J., Ravid, Y., Naor, D.: Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers. In: SP 2000: Proceedings of the IEEE Symposium on Security and Privacy, Washington DC, USA, p. 2. IEEE Computer Society, Los Alamitos (2000)"},{"key":"11_CR13","unstructured":"Common Criteria Sponsoring Organizations: Common Criteria for Information Technology Security Evaluation Part 2: Security Functional Components, Version 3.1 Rev 1-Nat\u2019l Inst. of Standards and Technology CCMB-2006-09-002 (September 2006)"},{"key":"11_CR14","first-page":"9","volume-title":"CSFW 1995: Proceedings of the 8th IEEE workshop on Computer Security Foundations","author":"A.W. Roscoe","year":"1995","unstructured":"Roscoe, A.W., Wulf, L.: Composing and Decomposing Systems under Security Properties. In: CSFW 1995: Proceedings of the 8th IEEE workshop on Computer Security Foundations, Washington, DC, USA, p. 9. IEEE Computer Society, Los Alamitos (1995)"},{"key":"11_CR15","unstructured":"Zakinthinos, A.: On the Composition of Security Properties. PhD thesis, University of Toronto (1996)"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A. Horn","year":"1951","unstructured":"Horn, A.: On Sentences which are True of Direct Unions of Algebras. J. Symb. Log.\u00a016(1), 14\u201321 (1951)","journal-title":"J. Symb. Log."},{"key":"11_CR17","volume-title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","author":"J.H. Gallier","year":"1985","unstructured":"Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row Publishers, Inc., New York (1985)"},{"key":"11_CR18","unstructured":"Kowalski, R.: Predicate Logic as Programming Language. In: IFIP Congress, pp. 569\u2013574 (1974)"},{"key":"11_CR19","unstructured":"Microsoft Corporation: Network Access Protection Platform Architecture (February 2008)"},{"key":"11_CR20","unstructured":"Cisco Systems: Network Admission Control Documentation Reference Guide. 2.0 edn. (April 2006)"},{"key":"11_CR21","unstructured":"Trusted Computing Group: Trusted Network Connect (TNC) Architecture for Interoperability Version 1.3 (April 2008)"},{"key":"11_CR22","unstructured":"Iverson, E.: NAP Enhanced to Secure Endpoints on and off the Enterprise. Blue Ridge Networks (2008)"},{"key":"11_CR23","unstructured":"Seongyon, H., Eunseok, C., Wonseok, C., Jihyun, L., Youngman, P.: UNETSHA - Plug-in for Extending Microsoft NAP. UNET System Inc., Korea (2008)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Zorn, G.: Microsoft PPP CHAP Extensions, Version 2. RFC 2759 (2000)","DOI":"10.17487\/rfc2759"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02704-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T23:45:38Z","timestamp":1633650338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02704-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027031","9783642027048"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02704-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}