{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:32:25Z","timestamp":1740720745896,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_18","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T14:15:39Z","timestamp":1288966539000},"page":"240-255","source":"Crossref","is-referenced-by-count":1,"title":["Policy-Based Attestation of Service Behavior for Establishing Rigorous Trust"],"prefix":"10.1007","author":[{"given":"Dongxi","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Zic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"18_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/355112.355122","volume":"43","author":"P. Resnick","year":"2000","unstructured":"Resnick, P., Kuwabara, K., Zeckhauser, R., Friedman, E.: Reputation systems. ACM Commun.\u00a043(12), 45\u201348 (2000)","journal-title":"ACM Commun."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Parno, B., McCune, J.M., Perrig, A.: Bootstrapping trust in commodity computers. In: Proceedings of the IEEE Symposium on Security and Privacy (May 2010)","DOI":"10.1109\/SP.2010.32"},{"issue":"5","key":"18_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/1165389.945464","volume":"37","author":"T. Garfinkel","year":"2003","unstructured":"Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., Boneh, D.: Terra: a virtual machine-based platform for trusted computing. SIGOPS Oper. Syst. Rev.\u00a037(5), 193\u2013206 (2003)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"18_CR4","first-page":"3","volume-title":"VM 2004: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium","author":"V. Haldar","year":"2004","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation: a virtual machine directed approach to trusted computing. In: VM 2004: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, p. 3. USENIX Association, Berkeley (2004)"},{"key":"18_CR5","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":"18_CR6","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 106\u2013119. ACM, New York (1997)"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"10","key":"18_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing: Introduction. ACM Commun.\u00a046(10), 24\u201328 (2003)","journal-title":"ACM Commun."},{"key":"18_CR9","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and implementation of a tcg-based integrity measurement architecture. In: Proceedings of the 13th conference on USENIX Security Symposium, p. 16 (2004)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C., Robby, Z.H.: Bandera: extracting finite-state models from java source code. In: Proceedings of the 22nd International Conference on Software Engineering (2000)","DOI":"10.1145\/337180.337234"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pp. 1\u20133 (2002)","DOI":"10.1145\/503272.503274"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Wagner, D., Dean, D.: Intrusion detection via static analysis. In: IEEE Symposium on Security and Privacy (2001)","DOI":"10.1109\/SECPRI.2001.924296"},{"issue":"7","key":"18_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. ACM Commun.\u00a019(7), 385\u2013394 (1976)","journal-title":"ACM Commun."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Higuchi, T., Ohori, A.: A static type system for jvm access control. ACM Trans. Program. Lang. Syst. 29(1), 4 (2007)","DOI":"10.1145\/1180475.1180479"},{"key":"18_CR15","first-page":"162","volume-title":"ARES 2007: Proceedings of the The Second International Conference on Availability, Reliability and Security","author":"D. Liu","year":"2007","unstructured":"Liu, D.: Bytecode verification for enhanced jvm access control. In: ARES 2007: Proceedings of the The Second International Conference on Availability, Reliability and Security, Washington, DC, USA, pp. 162\u2013169. IEEE Computer Society, Los Alamitos (2007)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Li, N., Wang, Q., Qardaji, W., Bertino, E., Rao, P., Lobo, J., Lin, D.: Access control policy combining: theory meets practice. In: Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, pp. 135\u2013144 (2009)","DOI":"10.1145\/1542207.1542229"},{"issue":"1","key":"18_CR17","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur.\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"18_CR19","unstructured":"W3C: OWL-S: Semantic markup for web services, http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"18_CR20","unstructured":"W3C: Web service modeling language (WSML), http:\/\/www.w3.org\/Submission\/WSML\/"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Rajan, H., Hosamani, M.: Tisa: Towards trustworthy services in a service-oriented architecture. IEEE Transactions on Services Computing (TSC) 1(4) (2008)","DOI":"10.1109\/TSC.2008.18"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Xu, W., Venkatakrishnan, V.N., Sekar, R., Ramakrishnan, I.V.: A framework for building privacy-conscious composite web services. In: Proceedings of the IEEE International Conference on Web Services, pp. 655\u2013662 (2006)","DOI":"10.1109\/ICWS.2006.4"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Yoshihama, S., Ebringer, T., Nakamura, M., Munetoh, S., Maruyama, H.: Ws-attestation: Efficient and fine-grained remote attestation on web services. In: Proceedings of the IEEE International Conference on Web Services (2005)","DOI":"10.1109\/ICWS.2005.136"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Liu, D., Zic, J.: A framework for building privacy-conscious composite web services. In: Proceedings of the IEEE International Conference on Web Services (Work-in-Progress Track), pp. 648\u2013651 (2010)","DOI":"10.1109\/ICWS.2010.61"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T16:28:17Z","timestamp":1740673697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}