{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T00:48:53Z","timestamp":1774745333862,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642005862","type":"print"},{"value":"9783642005879","type":"electronic"}],"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-00587-9_5","type":"book-chapter","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T10:45:02Z","timestamp":1234867502000},"page":"63-80","source":"Crossref","is-referenced-by-count":9,"title":["Remote Attestation of Attribute Updates and Information Flows in a UCON System"],"prefix":"10.1007","author":[{"given":"Mohammad","family":"Nauman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoom","family":"Alam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinwen","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamleek","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/507711.507722","volume-title":"SACMAT 2002: Proceedings of the seventh ACM Symposium on Access Control Models and Technologies","author":"J. Park","year":"2002","unstructured":"Park, J., Sandhu, R.: Towards Usage Control Models: Beyond Traditional Access Control. In: SACMAT 2002: Proceedings of the seventh ACM Symposium on Access Control Models and Technologies, pp. 57\u201364. ACM Press, New York (2002)"},{"key":"5_CR2","unstructured":"Trusted Computing Group, \n                    \n                      http:\/\/www.trustedcomputinggroup.org\/"},{"key":"5_CR3","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and Implementation of a TCG-based Integrity Measurement Architecture. In: SSYM 2004: Proceedings of the 13th conference on USENIX Security Symposium, Berkeley, CA, USA, USENIX Association (2004)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1133058.1133063","volume-title":"SACMAT 2006: Proceedings of the eleventh ACM Symposium on Access Control Models and Technologies","author":"T. Jaeger","year":"2006","unstructured":"Jaeger, T., Sailer, R., Shankar, U.: PRIMA: Policy-Reduced Integrity Measurement Architecture. In: SACMAT 2006: Proceedings of the eleventh ACM Symposium on Access Control Models and Technologies, pp. 19\u201328. ACM Press, New York (2006)"},{"key":"5_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 Press, New York (2004)"},{"key":"5_CR6","volume-title":"SACMAT 2008: Proceedings of the thirteenth ACM symposium on Access control models and technologies","author":"M. Alam","year":"2008","unstructured":"Alam, M., Zhang, X., Nauman, M., Ali, T., Seifert, J.P.: Model-based Behavioral Attestation. In: SACMAT 2008: Proceedings of the thirteenth ACM symposium on Access control models and technologies. ACM Press, New York (2008)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1314354.1314362","volume-title":"STC 2007: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing","author":"P.A. Loscocco","year":"2007","unstructured":"Loscocco, P.A., Wilson, P.W., Pendergrass, J.A., McDonell, C.D.: Linux Kernel Integrity Measurement Using Contextual Inspection. In: STC 2007: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 21\u201329. ACM, New York (2007)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Zhang, X., Nakae, M., Covington, M.J., Sandhu, R.S.: Toward a Usage-Based Security Framework for Collaborative Computing Systems. ACM Trans. Inf. Syst. Secur.\u00a011(1) (2008)","DOI":"10.1145\/1330295.1330298"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1455770.1455794","volume-title":"CCS 2008: Proceedings of the 15th ACM Conference on Computer and Communications Security","author":"M. Srivatsa","year":"2008","unstructured":"Srivatsa, M., Balfe, S.: Trust Management For Secure Information Flows. In: CCS 2008: Proceedings of the 15th ACM Conference on Computer and Communications Security, pp. 175\u2013187. ACM, New York (2008)"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/1108906.1108908","volume":"8","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal Model and Policy Specification of Usage Control. ACM Trans. Inf. Syst. Secur.\u00a08(4), 351\u2013387 (2005)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1145\/1128817.1128853","volume-title":"ASIACCS 2006: Proceedings of the 2006 ACM Symposium on Information, computer and communications security","author":"X. Zhang","year":"2006","unstructured":"Zhang, X., Sandhu, R., Parisi-Presicce, F.: Safety Analysis of Usage Control Authorization Models. In: ASIACCS 2006: Proceedings of the 2006 ACM Symposium on Information, computer and communications security, pp. 243\u2013254. ACM, New York (2006)"},{"key":"5_CR12","unstructured":"Kanerva, P.: Anonymous Authorization in Networked Systems: An Implementation of Physical Access Control System. Masters Thesis. Helsinki University of Technology (March 2001)"},{"key":"5_CR13","first-page":"12","volume-title":"CCS 2002: Proceedings of the 9th ACM Conference on Computer and Communications Security","author":"G. Bella","year":"2002","unstructured":"Bella, G., Paulson, L.C., Massacci, F.: The Verification of an Industrial Payment Protocol: the SET Purchase Phase. In: CCS 2002: Proceedings of the 9th ACM Conference on Computer and Communications Security, pp. 12\u201320. ACM, New York (2002)"},{"key":"5_CR14","unstructured":"TCG Software Stack (TSS) Specifications, \n                    \n                      https:\/\/www.trustedcomputinggroup.org\/specs\/TSS\/"},{"key":"5_CR15","unstructured":"Trusted Computing for the Java(tm) Platform, \n                    \n                      http:\/\/trustedjava.sourceforge.net\/"},{"key":"5_CR16","unstructured":"Java Community Process. JSR321: Trusted Computing API for Java, \n                    \n                      http:\/\/jcp.org\/en\/jsr\/detail?id=321"},{"key":"5_CR17","volume-title":"SWS 2008: Proceedings of the ACM Workshop on Secure Web Services (SWS) located at 15th ACM Conference on Computer and Communications Security (CCS-15)","author":"M. Alam","year":"2008","unstructured":"Alam, M., Zhang, X., Nauman, M., Ali, T.: Behavioral Attestation for Web Services (BA4WS). In: SWS 2008: Proceedings of the ACM Workshop on Secure Web Services (SWS) located at 15th ACM Conference on Computer and Communications Security (CCS-15). ACM Press, New York (2008)"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.3233\/JCS-2005-13105","volume":"13","author":"J. Guttman","year":"2005","unstructured":"Guttman, J.: Verifying Information Flow Goals in Security-Enhanced Linux. Journal of Computer Security\u00a013(1), 115\u2013134 (2005)","journal-title":"Journal of Computer Security"},{"issue":"7","key":"5_CR19","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Commun. ACM"},{"key":"5_CR20","first-page":"228","volume-title":"POPL 1999: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"A.C. Myers","year":"1999","unstructured":"Myers, A.C.: JFlow: Practical Mostly-static Information Flow Control. In: POPL 1999: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 228\u2013241. ACM, New York (1999)"},{"key":"5_CR21","unstructured":"Haldar, V., Chandra, D., Franz, M.: Practical, Dynamic Information-flow for Virtual Machines, \n                    \n                      www.vivekhaldar.com\/pubs\/plid2005.pdf"},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.10.010","volume":"197","author":"S. Nair","year":"2008","unstructured":"Nair, S., Simpson, P., Crispo, B., Tanenbaum, A.: A Virtual Machine Based Information Flow Control System for Policy Enforcement. Electronic Notes in Theoretical Computer Science\u00a0197(1), 3\u201316 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR23","volume-title":"STC 2008: Proceedings of the 2008 ACM Workshop on Scalable Trusted Computing","author":"M. Thober","year":"2008","unstructured":"Thober, M., Pendergrass, J.A., McDonell, C.D.: Improving Coherency of Runtime Integrity Measurement. In: STC 2008: Proceedings of the 2008 ACM Workshop on Scalable Trusted Computing. ACM, New York (2008)"},{"key":"5_CR24","volume-title":"STC 2008: Proceedings of the 2008 ACM Workshop on Scalable Trusted Computing","author":"L. Gu","year":"2008","unstructured":"Gu, L., Ding, X., Deng, R., Xie, B., Mei, H.: Remote Attestation on Program Execution. In: STC 2008: Proceedings of the 2008 ACM Workshop on Scalable Trusted Computing. ACM, New York (2008)"},{"key":"5_CR25","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic Remote Attestation \u2013 A Virtual Machine directed approach to Trusted Computing In. Proc. of the Third Virtual Macine Research and Technology Symposium USENIX (2004)"}],"container-title":["Lecture Notes in Computer Science","Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00587-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T09:48:35Z","timestamp":1548409715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00587-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005862","9783642005879"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00587-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}