{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:46:17Z","timestamp":1725536777497},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037474"},{"type":"electronic","value":"9783642037481"}],"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-03748-1_7","type":"book-chapter","created":{"date-parts":[[2009,8,22]],"date-time":"2009-08-22T01:10:34Z","timestamp":1250903434000},"page":"63-72","source":"Crossref","is-referenced-by-count":3,"title":["Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena Elisa","family":"Ponta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"139","volume-title":"SACMAT 2006","author":"A. Schaad","year":"2006","unstructured":"Schaad, A., Lotz, V., Sohr, K.: A model-checking approach to analysing organisational controls in a loan origination process. In: SACMAT 2006, pp. 139\u2013149. ACM, New York (2006)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Cerone, A., Xiangpeng, Z., Krishnan, P.: Modelling and resource allocation planning of BPEL workflows under security constraints. Technical Report 336, UNU-IIST (2006), http:\/\/www.iist.unu.edu\/","DOI":"10.1007\/11841760_36"},{"key":"7_CR3","first-page":"623","volume-title":"AAAI 1998","author":"E. Giunchiglia","year":"1998","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI 1998, pp. 623\u2013630. AAAI Press, Menlo Park (1998)"},{"key":"7_CR4","unstructured":"Texas Action Group at Austin: The causal calculator (2008), http:\/\/www.cs.utexas.edu\/users\/tag\/cc\/"},{"key":"7_CR5","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer\u00a029(2), 38\u201347 (1996)","journal-title":"Computer"},{"key":"7_CR7","unstructured":"Chirichiello, A.: Two Formal Approaches for Web Services: Process Algebras & Action Languages. PhD thesis, \u201cSapienza\u201d University of Roma (2008)"},{"key":"7_CR8","unstructured":"Koksal, P., Cicekli, N.K., Toroslu, I.H.: Specification of workflow processes using the action description language $\\mathcal{C}$ . In: AAAI Spring 2001 Symposium Series: Answer Set Programming, pp. 103\u2013109 (2001)"}],"container-title":["Lecture Notes in Computer Science","Trust, Privacy and Security in Digital Business"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03748-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:54:08Z","timestamp":1558482848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03748-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037474","9783642037481"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03748-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}