{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:49Z","timestamp":1725471169066},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540386193"},{"type":"electronic","value":"9783540386223"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11839569_31","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T13:21:24Z","timestamp":1159881684000},"page":"322-331","source":"Crossref","is-referenced-by-count":14,"title":["Automatic Composition of Secure Workflows"],"prefix":"10.1007","author":[{"given":"Marc","family":"Lelarge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton V.","family":"Riabov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Gil, Y., Deelman, E., Blythe, J., Kesselman, C., Tangmurarunkit, H.: Artificial intelligence and grids: Workflow planning and beyond. IEEE Intelligent Systems (2004)","DOI":"10.1109\/MIS.2004.1265882"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Kichkaylo, T., Ivan, A., Karamcheti, V.: Constrained component deployment in wide-area networks using AI planning techniques. In: Proceedings of IPDPS 2003 (2003)","DOI":"10.1109\/IPDPS.2003.1213075"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Doshi, P., Goodwin, R., Akkiraju, R., Verma, K.: Dynamic workflow composition using Markov decision processes. In: Proceedings of ICWS 2004 (2004)","DOI":"10.1109\/ICWS.2004.1314784"},{"key":"31_CR4","unstructured":"Koehler, J., Srivastava, B.: Web service composition: Current solutions and open problems. In: Proceedings of ICAPS 2003, Workshop on Planning for Web Services, pp. 28\u201335 (2003)"},{"key":"31_CR5","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asynchronous domains. In: Proceedings of ICAPS 2005 (2005)"},{"key":"31_CR6","unstructured":"Blythe, J., Deelman, E., Gil, Y., Kesselman, K., Agarwal, A., Mehta, G., Vahi, K.: The role of planning in grid computing. In: Proceedings of ICAPS 2003 (2003)"},{"key":"31_CR7","unstructured":"Riabov, A., Liu, Z.: Planning for stream processing systems. In: Proceedings of AAAI (2005)"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Brown, A., Keller, A., Hellerstein, J.: A model of configuration complexity and its application to a change management system. In: Proceedings IM 2005 (2005)","DOI":"10.1109\/INM.2005.1440836"},{"key":"31_CR9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.241422","volume":"26","author":"R. Sandhu","year":"1993","unstructured":"Sandhu, R.: Lattice-based access control models. IEEE Computer\u00a026, 9\u201319 (1993)","journal-title":"IEEE Computer"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Bell, D., LaPadula, L.: Secure computer system: Unified exposition and Multics interpretation. MTR-2997, MITRE Corp. (1976)","DOI":"10.21236\/ADA023588"},{"key":"31_CR11","unstructured":"Rintanen, J., Hoffmann, J.: An overview of recent algorithms for AI planning. K\u00fcnstliche Intelligenz, 5\u201311 (2001)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Lelarge, M., Liu, Z., Riabov, A.: Automatic composition of secure workflows (2006)","DOI":"10.1007\/11839569_31"},{"key":"31_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0004-3702(72)90051-3","volume":"3","author":"R. Fikes","year":"1972","unstructured":"Fikes, R., Hart, P.E., Nilsson, N.J.: Learning and executing generalized robot plans. Artificial Intelligence\u00a03, 251\u2013288 (1972)","journal-title":"Artificial Intelligence"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T. Bylander","year":"1994","unstructured":"Bylander, T.: The computational complexity of propositional STRIPS planning. Artificial Intelligence\u00a069, 165\u2013204 (1994)","journal-title":"Artificial Intelligence"},{"key":"31_CR15","unstructured":"Biba, K.: Integrity considerations for secure computer systems. MTR-3153, MITRE Corp (1977)"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D. Denning","year":"1976","unstructured":"Denning, D.: A lattice model of secure information flow. Communications of the ACM\u00a019, 236\u2013243 (1976)","journal-title":"Communications of the ACM"},{"key":"31_CR17","unstructured":"Bell, D.: Secure computer systems: A refinement of the mathematical model. MTR-2547, MITRE Corp., vol.\u00a0III (1974)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11839569_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:20:29Z","timestamp":1605644429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11839569_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540386193","9783540386223"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11839569_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}