{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:13:33Z","timestamp":1746072813646,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642380037"},{"type":"electronic","value":"9783642380044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38004-4_4","type":"book-chapter","created":{"date-parts":[[2013,4,22]],"date-time":"2013-04-22T08:24:16Z","timestamp":1366619056000},"page":"49-64","source":"Crossref","is-referenced-by-count":1,"title":["Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities"],"prefix":"10.1007","author":[{"given":"Michele","family":"Barletta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvio","family":"Ranise","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Accorsi, R.: A security-aware simulation method for generating business process event logs. In: Symp. on Data-Driven Process Discovery and Analysis (2012)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Alberti, F., Armando, A., Ranise, S.: Efficient Symbolic Automated Analysis of Administrative Role Based Access Control Policies. In: 6th ASIACCS. ACM (2011)","DOI":"10.1145\/1966913.1966935"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Barletta, M., Calvi, A., Ranise, S., Vigan\u00f2, L., Zanetti, L.: WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. In: Proc. 12th SYNASC, pp. 417\u2013424. IEEE Computer Society (2010)","DOI":"10.1109\/SYNASC.2010.74"},{"key":"4_CR4","unstructured":"Barletta, M., Ranise, S., Vigan\u00f2, L.: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. In: Proc. SecureCom 2009, pp. 289\u2013299. IEEE CS (2009), full version at http:\/\/arxiv.org\/abs\/0906.4570"},{"key":"4_CR5","unstructured":"Barletta, M., Ranise, S., Vigan\u00f2, L.: Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities, Extended Version (2012), http:\/\/arxiv.org\/abs\/1206.3180"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-77442-6_7","volume-title":"Practical Aspects of Declarative Languages","author":"M.Y. Becker","year":"2008","unstructured":"Becker, M.Y., Nanz, S.: The role of abduction in declarative\u00a0authorization\u00a0policies. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 84\u201399. Springer, Heidelberg (2008)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Trans. Inf. Syst. Secur.\u00a013(3) (2010)","DOI":"10.1145\/1805974.1805976"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bertino, E., Crampton, J., Paci, F.: Access Control and Authorization Constraints for WS-BPEL. In: Proc. ICWS 2006, pp. 275\u2013284. IEEE CS (2006)","DOI":"10.1109\/ICWS.2006.21"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Brightwell, G., Winkler, P.: Counting linear extensions is #P-complete. In: Proc.\u00a0STOC, pp. 175\u2013181. ACM (1991)","DOI":"10.1145\/103418.103441"},{"key":"4_CR10","unstructured":"Diaper, D.: Task analysis for human-computer interaction. Prentice-Hall (1990)"},{"key":"4_CR11","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press (1972)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gunter, E., Yasmeen, A., Gunter, C., Nguyen, A.: Specifying and analyzing workflows for automated identification and data capture. In: Proc.\u00a0HICSS 2009, pp. 1\u201311. IEEE CS (2009)","DOI":"10.1109\/HICSS.2009.402"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: Dkal: Distributed-knowledge authorization language. In: Proceedings of CSF, pp. 149\u2013162. IEEE CS (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-03748-1_15","volume-title":"Trust, Privacy and Security in Digital Business","author":"Y. Gurevich","year":"2009","unstructured":"Gurevich, Y., Roy, A.: Operational Semantics for DKAL: Application and Analysis. In: Fischer-H\u00fcbner, S., Lambrinoudakis, C., Pernul, G. (eds.) TrustBus 2009. LNCS, vol.\u00a05695, pp. 149\u2013158. Springer, Heidelberg (2009)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-19751-2_11","volume-title":"Formal Aspects of Security and Trust","author":"C. Hurlin","year":"2011","unstructured":"Hurlin, C., Kirchner, H.: Semi-automatic synthesis of security policies by invariant-guided abduction. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 157\u2013175. Springer, Heidelberg (2011)"},{"key":"4_CR16","unstructured":"Lamport, L., Schneider, F.B.: Pretending atomicity. Technical report. In: Research Report 44, Digital Equipment Corporation Systems Research (1989)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: DATALOG with constraints: A foundation for trust management languages. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/1187441.1187442","volume":"9","author":"N. Li","year":"2006","unstructured":"Li, N., Tripunitara, M.V.: Security analysis in role-based access control. ACM Trans. Inf. Syst. Secur.\u00a09, 391\u2013420 (2006)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"1","key":"4_CR19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/JCS-2003-11102","volume":"11","author":"N. Li","year":"2003","unstructured":"Li, N., Winsborough, W.H., Mitchell, J.C.: Distributed credential chain discovery in trust management. Journal of Computer Security\u00a011(1), 35\u201386 (2003)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"4_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1137\/S0097539791202647","volume":"23","author":"G. Pruesse","year":"1994","unstructured":"Pruesse, G., Ruskey, F.: Generating Linear Extensions Fast. SIAM J. Comp.\u00a023(2), 373\u2013386 (1994)","journal-title":"SIAM J. Comp."},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"1066","DOI":"10.1016\/j.jsc.2011.12.033","volume":"47","author":"S. Ranise","year":"2012","unstructured":"Ranise, S.: On the Verification of Security-Aware E-services. Journal of Symbolic Computation\u00a047, 1066\u20131088 (2012)","journal-title":"Journal of Symbolic Computation"},{"issue":"12","key":"4_CR22","doi-asserted-by":"publisher","first-page":"1629","DOI":"10.1016\/0169-7552(95)00122-0","volume":"28","author":"E. Rudolph","year":"1996","unstructured":"Rudolph, E., Graubmann, P., Grabowski, J.: Tutorial on message sequence charts. Computer Networks and ISDN Systems\u00a028(12), 1629\u20131641 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"4","key":"4_CR23","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1109\/TSMCA.2005.853490","volume":"36","author":"D. Shin","year":"2006","unstructured":"Shin, D., Wysk, R., Rothrock, L.: Formal model of human material-handling tasks for control of manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a036(4), 685\u2013696 (2006)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"4_CR24","unstructured":"Tan, K., Crampton, J., Gunter, C.: The consistency of task-based authorization constraints in workflow. In: Proc.\u00a0CSF, pp. 155\u2013169. IEEE CS (2004)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Yasmeen, A., Gunter, E.: Automated framework for formal operator task analysis. In: Proc. \u00a0ISSTA 2011 (2011)","DOI":"10.1145\/2001420.2001430"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38004-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T06:03:38Z","timestamp":1745993018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38004-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642380037","9783642380044"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38004-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}