{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:36:28Z","timestamp":1770896188046,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642294198","type":"print"},{"value":"9783642294204","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29420-4_10","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:12:33Z","timestamp":1340629953000},"page":"148-163","source":"Crossref","is-referenced-by-count":18,"title":["Service Automata"],"prefix":"10.1007","author":[{"given":"Richard","family":"Gay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Sprick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-85735-8_11","volume-title":"Trust, Privacy and Security in Digital Business","author":"B. Aziz","year":"2008","unstructured":"Aziz, B., Arenas, A., Martinelli, F., Matteucci, I., Mori, P.: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. In: Furnell, S.M., Katsikas, S.K., Lioy, A. (eds.) TrustBus 2008. LNCS, vol.\u00a05185, pp. 100\u2013117. Springer, Heidelberg (2008)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-04444-1_16","volume-title":"Computer Security \u2013 ESORICS 2009","author":"D.A. Basin","year":"2009","unstructured":"Basin, D.A., Burri, S.J., Karjoth, G.: Dynamic Enforcement of Abstract Separation of Duty Constraints. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 250\u2013267. Springer, Heidelberg (2009)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14295-6_1","volume-title":"Computer Aided Verification","author":"D.A. Basin","year":"2010","unstructured":"Basin, D.A., Klaedtke, F., M\u00fcller, S.: Policy Monitoring in First-Order Temporal Logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 1\u201318. Springer, Heidelberg (2010)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Basin, D.A., Olderog, E.R., Sevin\u00e7, P.E.: Specifying and analyzing security automata using CSP-OZ. In: ACM Symposium on Information, Computer and Communications Security, pp. 70\u201381. ACM (2007)","DOI":"10.1145\/1229285.1229299"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Chadwick, D.W., Su, L., Otenko, A., Laborde, R.: Coordination between Distributed PDPs. In: 7th IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 163\u2013172. IEEE Computer Society (2006)","DOI":"10.1109\/POLICY.2006.14"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Comuzzi, M., Spanoudakis, G.: A Framework for Hierarchical and Recursive Monitoring of Service Based Systems. In: 4th International Conference on Internet and Web Applications and Services, pp. 383\u2013388. IEEE Computer Society (2009)","DOI":"10.1109\/ICIW.2009.63"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: SASI Enforcement of Security Policies: A Retrospective. In: 2nd New Security Paradigms Workshop, pp. 87\u201395. ACM (2000)","DOI":"10.1145\/335169.335201"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-74835-9_35","volume-title":"Computer Security \u2013 ESORICS 2007","author":"M. Hilty","year":"2007","unstructured":"Hilty, M., Pretschner, A., Basin, D., Schaefer, C., Walter, T.: A Policy Language for Distributed Usage Control. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 531\u2013546. Springer, Heidelberg (2007)"},{"key":"10_CR9","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Inc. (1985)"},{"issue":"1-2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit Automata: Enforcement Mechanisms for Run-time Security Policies. International Journal of Information Security\u00a04(1-2), 2\u201316 (2005)","journal-title":"International Journal of Information Security"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Matteucci, I.: Synthesis of Local Controller Programs for Enforcing Global Security Properties. In: 3rd International Conference on Availability, Reliability and Security, pp. 1120\u20131127. IEEE Computer Society (2008)","DOI":"10.1109\/ARES.2008.196"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.67599","volume":"17","author":"N.H. Minsky","year":"1991","unstructured":"Minsky, N.H.: The Imposition of Protocols Over Open Distributed Systems. IEEE Transactions on Software Engineering\u00a017(2), 183\u2013195 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"10_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1151030.1151053","volume":"49","author":"A. Pretschner","year":"2006","unstructured":"Pretschner, A., Hilty, M., Basin, D.: Distributed Usage Control. Communications of the ACM\u00a049(9), 39\u201344 (2006)","journal-title":"Communications of the ACM"},{"issue":"1","key":"10_CR14","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. Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"Transactions on Information and System Security"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Ro\u015fu, G.: Efficient Decentralized Monitoring of Safety in Distributed Systems. In: 26th International Conference on Software Engineering, pp. 418\u2013427. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, X., Seifert, J.P., Sandhu, R.: Security Enforcement Model for Distributed Usage Control. In: 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pp. 10\u201318. IEEE Computer Society (2008)","DOI":"10.1109\/SUTC.2008.79"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29420-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T14:59:14Z","timestamp":1743605954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29420-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294198","9783642294204"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29420-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}