{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:15:31Z","timestamp":1725747331282},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410970"},{"type":"electronic","value":"9783642410987"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41098-7_13","type":"book-chapter","created":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T09:16:01Z","timestamp":1378286161000},"page":"191-206","source":"Crossref","is-referenced-by-count":0,"title":["IF-Net: A Meta-Model for Security-Oriented Process Specification"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Stocker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"B\u00f6hr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_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":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s12599-011-0155-7","volume":"3","author":"R. Accorsi","year":"2011","unstructured":"Accorsi, R., Lowis, L., Sato, Y.: Automated certification for compliant cloud-based business processes. Business & Information Systems Engineering\u00a03(3), 145\u2013154 (2011)","journal-title":"Business & Information Systems Engineering"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N. Adam","year":"1998","unstructured":"Adam, N., Atluri, V., Huang, W.: Modeling and analysis of workflows using petri nets. Journal of Intelligent Information Systems\u00a010, 131\u2013158 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"doi-asserted-by":"crossref","unstructured":"Atluri, V., Chun, S., Mazzoleni, P.: A Chinese Wall Security Model for Decentralized Workflow Systems. In: Computer and Communications Security, CCS 2001, pp. 48\u201357 (2001)","key":"13_CR4","DOI":"10.1145\/501989.501991"},{"unstructured":"Biba, K.: Integrity considerations for secure computer systems. Technical report, MITRE Corporation (1977)","key":"13_CR5"},{"doi-asserted-by":"crossref","unstructured":"Brucker, A.D., Hang, I., L\u00fcckemeyer, G., Ruparel, R.: SecureBPMN: modeling and enforcing access control requirements in business processes. In: Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, SACMAT 2012, pp. 123\u2013126. ACM (2012)","key":"13_CR6","DOI":"10.1145\/2295136.2295160"},{"key":"13_CR7","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, 1065\u20131090 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR8","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 Pograms for Secure Information Flow. Communications of the ACM\u00a020, 504\u2013513 (1977)","journal-title":"Communications of the ACM"},{"key":"13_CR9","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)"},{"unstructured":"Harmon, P., Wolf, C.: Business process trends. Technical report (2010), \n                    \n                      http:\/\/www.pbtrends.com","key":"13_CR10"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-01004-0_9","volume-title":"Transactions on Computational Science IV","author":"H. Rakkay","year":"2009","unstructured":"Rakkay, H., Boucheneb, H.: Security analysis of role based access control models using colored petri nets and cPNtools. In: Gavrilova, M.L., Tan, C.J.K., Moreno, E.D. (eds.) Transactions on Computational Science IV. LNCS, vol.\u00a05430, pp. 149\u2013176. Springer, Heidelberg (2009)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"A.H.M. Hofstede ter","year":"2005","unstructured":"ter Hofstede, A.H.M.: Yawl: Yet Another Workflow Language. Information Systems\u00a030, 245\u2013275 (2005)","journal-title":"Information Systems"},{"unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. EATCS Series, vol.\u00a01. Springer (2003)","key":"13_CR13"},{"unstructured":"Jiang, Y., Lin, C., Yin, H., Tan, Z.: Security analysis of mandatory access control model. In: IEEE International Conference on Systems, Man and Cybernetics, pp. 5013\u20135018 (2004)","key":"13_CR14"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-45800-X_32","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: UMLsec: Extending UML for secure systems development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 412\u2013425. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Katt, B., Hafner, M., Zhang, X.: A usage control policy specification with petri nets. In: Collaborative Computing: Networking, Applications and Worksharing, pp. 1\u20138 (2009)","key":"13_CR16","DOI":"10.4108\/ICST.COLLABORATECOM2009.8394"},{"unstructured":"Knorr, K.: Multilevel Security and Information Flow in Petri Net Workflows. Technical report, Telecommunication Systems - Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems (2001)","key":"13_CR17"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"13_CR19","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.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TSC.2010.37","volume":"4","author":"L. Lowis","year":"2011","unstructured":"Lowis, L., Accorsi, R.: Finding vulnerabilities in SOA-based business processes. IEEE Transactions on Service Computing\u00a04(3), 230\u2013242 (2011)","journal-title":"IEEE Transactions on Service Computing"},{"unstructured":"M\u00fcller, G., Accorsi, R.: Why are business processes not secure? In: Festschrift for Prof. Johannes Buchmann. LNCS. Springer (to appear)","key":"13_CR21"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"unstructured":"Smith, H., Fingar, P.: Workflow is just a Pi-process (2004)","key":"13_CR23"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","volume-title":"Advanced Information Systems Engineering","author":"N. Tr\u010dka","year":"2009","unstructured":"Tr\u010dka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08, 21\u201366 (1998), \n                    \n                      http:\/\/www.fairdene.com\/picalculus\/workflow-is-just-a-pi-process.pdf","key":"13_CR25","DOI":"10.1142\/S0218126698000043"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)","key":"13_CR26","DOI":"10.1007\/3-540-45594-9_11"},{"unstructured":"van der Aalst, W.M.P.: Why workflow is NOT just a Pi-process (2004)","key":"13_CR27"},{"key":"13_CR28","first-page":"1","volume":"5","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Pi calculus versus petri nets: Let us eat \u201dhumble pie\u201d rather than further inflate the \u201dpi hype\u201d. BPTrends\u00a05, 1\u201311 (2005)","journal-title":"BPTrends"},{"unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In: Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1\u201320. Technical Report DAIMI PB-560 (2002), \n                    \n                      http:\/\/www.bptrends.com\/publicationfiles\/02-04%20ART%20WhyworkflowisNOTjustaPi%20-%20Aalst1.pdf","key":"13_CR29"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng.\u00a016, 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-33606-5_29","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"S. Stackelberg von","year":"2012","unstructured":"von Stackelberg, S., B\u00f6hm, K., Bracht, M.: Embedding \u2018break the glass\u2019 into business process models. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012, Part I. LNCS, vol.\u00a07565, pp. 455\u2013464. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Zhang, Z., Hong, F., Liao, J.: Modeling chinese wall policy using colored petri nets. In: Computer and Information Technology, CIT 2006, p. 162 (2006)","key":"13_CR32","DOI":"10.1109\/CIT.2006.123"}],"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-41098-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:40:43Z","timestamp":1558042843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41098-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410970","9783642410987"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41098-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}