{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:16:06Z","timestamp":1759133766536,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362842"},{"type":"electronic","value":"9783642362859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36285-9_67","type":"book-chapter","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T08:26:30Z","timestamp":1359015990000},"page":"675-688","source":"Crossref","is-referenced-by-count":4,"title":["Modeling Wizard for Confidential Business Processes"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Lehmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niels","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"67_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-32885-5_13","volume-title":"Business Process Management","author":"R. Accorsi","year":"2012","unstructured":"Accorsi, R., Lehmann, A.: Automatic Information Flow Analysis of Business Process Models. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 172\u2013187. Springer, Heidelberg (2012)"},{"issue":"6","key":"67_CR2","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1017\/S0960129509990120","volume":"19","author":"N. Busi","year":"2009","unstructured":"Busi, N., Gorrieri, R.: Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science\u00a019(6), 1065\u20131090 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"67_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-01465-9_14","volume-title":"Formal Aspects in Security and Trust","author":"S. Frau","year":"2009","unstructured":"Frau, S., Gorrieri, R., Ferigato, C.: Petri Net Security Checker: Structural Non-interference at Work. In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol.\u00a05491, pp. 210\u2013225. Springer, Heidelberg (2009)"},{"issue":"7","key":"67_CR4","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"},{"issue":"10","key":"67_CR5","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1973","unstructured":"Lampson, B.W.: A note on the confinement problem. Commun. ACM\u00a016(10), 613\u2013615 (1973)","journal-title":"Commun. ACM"},{"key":"67_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri\u00a0Net Transformations for Business\u00a0Processes \u2013 A\u00a0Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Vernali, M.: Foundations of security analysis and design vi, pp. 125\u2013151. Springer (2011)","DOI":"10.1007\/978-3-642-23082-0_5"},{"issue":"8","key":"67_CR8","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"issue":"5","key":"67_CR9","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng.\u00a070(5), 448\u2013466 (2011)","journal-title":"Data Knowl. Eng."},{"key":"67_CR10","unstructured":"Lehmann, A., Fahland, D.: Information flow security for business process models - just one click away. In: BPM Demo 2012 (2012)"},{"key":"67_CR11","doi-asserted-by":"crossref","unstructured":"Atluri, V., Chun, S.A., Mazzoleni, P.: A chinese wall security model for decentralized workflow systems. In: ACM CCS 2001, pp. 48\u201357. ACM (2001)","DOI":"10.1145\/501989.501991"},{"key":"67_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-48738-7_21","volume-title":"Advanced Information Systems Engineering","author":"M.H. Kang","year":"1999","unstructured":"Kang, M.H., Froscher, J.N., Sheth, A.P., Kochut, K., Miller, J.A.: A Multilevel Secure Workflow Management System. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 271\u2013285. Springer, Heidelberg (1999)"},{"key":"67_CR13","doi-asserted-by":"crossref","unstructured":"Yildiz, U., Godart, C.: Design and implementation of information flow-sensitive business processes. In: ECOWS 2008, pp. 177\u2013186. IEEE Computer Society (2008)","DOI":"10.1109\/ECOWS.2008.8"},{"issue":"2","key":"67_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s11761-010-0073-4","volume":"5","author":"M. Barletta","year":"2001","unstructured":"Barletta, M., Ranise, S., Vigan\u00f2, L.: A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Serv. Oriented Comput. Appl.\u00a05(2), 105\u2013137 (2001)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"67_CR15","doi-asserted-by":"crossref","unstructured":"Shafiq, B., Masood, A., Joshi, J., Ghafoor, A.: A role-based access control policy verification framework for real-time systems. In: WORDS 2005, pp. 13\u201320. IEEE Computer Society (2005)","DOI":"10.1109\/WORDS.2005.11"},{"key":"67_CR16","doi-asserted-by":"crossref","unstructured":"Juszczyszyn, K.: Verifying enterprise \u2019s mandatory access control policies with coloured Petri nets. In: WETICE 2003, pp. 184. IEEE Computer Society (2003)","DOI":"10.1109\/ENABL.2003.1231405"},{"key":"67_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, Z.L., Hong, F., Xiao, H.J.: Verification of strict integrity policy via Petri nets. In: ICSNC 2006, p. 23. IEEE Computer Society (2006)","DOI":"10.1109\/ICSNC.2006.76"},{"key":"67_CR18","unstructured":"Knorr, K.: Multilevel security and information flow in Petri net workflows. Technical report, Proceedings of the 9th International Conference on Telecommunication Systems - Modeling and Analysis (2001)"},{"issue":"6","key":"67_CR19","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/TDSC.2010.43","volume":"8","author":"H. Huang","year":"2011","unstructured":"Huang, H., Kirchner, H.: Formal specification and verification of modular security policy based on colored Petri nets. IEEE Trans. Dependable Secur. Comput.\u00a08(6), 852\u2013865 (2011)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"67_CR20","doi-asserted-by":"crossref","unstructured":"Barkaoui, K., Ayed, R.B., Boucheneb, H., Hicheur, A.: Verification of workflow processes under multilevel security considerations. In: CRiSIS, pp. 77\u201384. IEEE (2008)","DOI":"10.1109\/CRISIS.2008.4757466"},{"issue":"1","key":"67_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2005.05.045","volume":"180","author":"I. Attali","year":"2007","unstructured":"Attali, I., Caromel, D., Henrio, L., Del Aguila, F.L.: Secured information flow for asynchronous sequential processes. Electron. Notes Theor. Comput. Sci.\u00a0180(1), 17\u201334 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"67_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-45719-4_19","volume-title":"Algebraic Methodology and Software Technology","author":"A. Bossi","year":"2002","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: Transforming Processes to Check and Ensure Information Flow Security. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 271\u2013286. Springer, Heidelberg (2002)"},{"key":"67_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1007\/978-3-642-05089-3_49","volume-title":"FM 2009: Formal Methods","author":"W.R. Harris","year":"2009","unstructured":"Harris, W.R., Kidd, N., Chaki, S., Jha, S., Reps, T.W.: Verifying Information Flow Control over Unbounded Processes. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 773\u2013789. Springer, Heidelberg (2009)"},{"key":"67_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-28166-2_6","volume-title":"Engineering Secure Software and Systems","author":"M. Kov\u00e1cs","year":"2012","unstructured":"Kov\u00e1cs, M., Seidl, H.: Runtime Enforcement of Information Flow Security in Tree Manipulating Processes. In: Barthe, G., Livshits, B., Scandariato, R. (eds.) ESSoS 2012. LNCS, vol.\u00a07159, pp. 46\u201359. Springer, Heidelberg (2012)"},{"key":"67_CR25","doi-asserted-by":"crossref","unstructured":"Atluri, V., Huang, W.K.: An extended Petri net model for supporting workflow in a multilevel secure environment. In: DBSec 1996. IFIP Conference Proceedings 79, pp. 240\u2013258. Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35167-4_15"},{"key":"67_CR26","doi-asserted-by":"crossref","unstructured":"Accorsi, R., Wonnemann, C., Dochow, S.: SWAT: A security workflow toolkit for reliably secure process-aware information systems. In: ARES 2011, pp. 692\u2013697. IEEE (2011)","DOI":"10.1109\/ARES.2011.108"},{"key":"67_CR27","unstructured":"Lehmann, A., Lohmann, N.: Model support for confidential service-oriented business processes. In: ZEUS 2012, Bamberg, Germany (2012)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36285-9_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T18:22:06Z","timestamp":1745950926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36285-9_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362842","9783642362859"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36285-9_67","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}