{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:54:00Z","timestamp":1725558840829},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143052"},{"type":"electronic","value":"9783642143069"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14306-9_60","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T10:20:26Z","timestamp":1277806826000},"page":"604-618","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool"],"prefix":"10.1007","author":[{"given":"Laid","family":"Kahloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Tfaili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Amirat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","volume-title":"A Decade of Concurrency","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 230\u2013272. Springer, Heidelberg (1994)"},{"key":"60_CR2","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-1-4613-2677-9_20","volume-title":"Management and Office Information Systems, ch. 20","author":"T. Murata","year":"1984","unstructured":"Murata, T.: Petri Nets and Their Applications: An Introduction. In: Chang, S.K. (ed.) Management and Office Information Systems, ch. 20, pp. 351\u2013367. Plenum Press, New York (1984)"},{"key":"60_CR3","unstructured":"Ferraiolo, D.F., Kuhn, D.R.: Role Based Access Control. In: The 15th National Computer Security Conference, October 13-16, pp. 554\u2013563 (1992)"},{"issue":"2","key":"60_CR4","doi-asserted-by":"crossref","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. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"60_CR5","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Ferraiolo, D.F., Kuhn, R.: The NIST Model for\u00a0Role Based Access Control: Toward a Unified Standard. In: Proceedings of the 5th ACM Workshop on Role Based Access Control, Berlin, July 26-27, pp. 47\u201363 (2000)","DOI":"10.1145\/344287.344301"},{"issue":"3","key":"60_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/501978.501979","volume":"4","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Bonatti, P.A.: TRBAC: A temporal role based access control model. ACM Transactions on Information and System Security\u00a04(3), 191\u2013223 (2001)","journal-title":"ACM Transactions on Information and System Security"},{"issue":"1","key":"60_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"J.B.D. Joshi","year":"2005","unstructured":"Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: A Generalized Temporal Role Based Access Control. The IEEE Transactions on Knowledge and Data Engineering\u00a017(1), 4\u201323 (2005)","journal-title":"The IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"60_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/300830.300832","volume":"2","author":"M. Nyanchama","year":"1999","unstructured":"Nyanchama, M., Osborn, S.: The Role Graph Model and Conflict of Interest. The ACM Transactions on Information and System Security\u00a02(1), 3\u201333 (1999)","journal-title":"The ACM Transactions on Information and System Security"},{"issue":"3","key":"60_CR9","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/545186.545191","volume":"5","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: A Graph-based Formalism for RBAC. The ACM Transactions on Information and System Security\u00a05(3), 332\u2013365 (2002)","journal-title":"The ACM Transactions on Information and System Security"},{"key":"60_CR10","doi-asserted-by":"crossref","unstructured":"Ahmed, T., Tripathi, A.R.: Static Verification of Security Requirements in Role Based CSCW Systems. In: Proc. of the 8th ACM Symposium on Access Control Models and Technologies, pp. 196\u2013203 (June 2003)","DOI":"10.1145\/775412.775438"},{"key":"60_CR11","unstructured":"Walvekar, A., Smith, M., Kelkar, M., Gamble, R.: Using Petri Nets to Detect Access Control Violations in a System of Systems. Technical Report SEAT-UTULSA-09-12. A shorter version of this paper appeared in the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA 2006), Seattle, August 15 - 16 (2006)"},{"key":"60_CR12","unstructured":"Huang, H., Kirchner, H.: Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets. Research report INRIA-00396952, version, June 1-19 (2009)"},{"key":"60_CR13","unstructured":"Shafiq, B., Masood, A., Ghafoor, A., Joshi, J.B.D.: A Role-Based Access Control Policy Verification Framework for Real-Time Systems. In: Proc. of the IEEE Workshop on Object-oriented Real-time Databases (2005)"},{"key":"60_CR14","doi-asserted-by":"crossref","unstructured":"Song, M., Pang, Z.: Specification of SA-RBAC Policy Based on Colored Petri Net. In: The IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology 2008 (2008)","DOI":"10.1109\/WIIAT.2008.189"},{"key":"60_CR15","doi-asserted-by":"crossref","unstructured":"Knorr, K.: Dynamic access control through Petri net workflows. In: Proc. of the 16th Annual Computer Security Applications Conference (ACSAC), pp. 159\u2013167. IEEE Press, Los Alamitos (December 2000), doi:10.1109\/ACSAC.2000.898869","DOI":"10.1109\/ACSAC.2000.898869"},{"key":"60_CR16","unstructured":"Knorr, K.: Multilevel security and information flow in Petri net workflows. In: Proc. of the 9th International Conference on Telecommunication Systems-Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems, pp. 9\u201320 (2001)"},{"key":"60_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1109\/CSCWD.2002.1047718","volume-title":"Proc. of the 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","author":"X. Dong","year":"2002","unstructured":"Dong, X., Chen, G., Yin, J., Dong, J.: Petri-net-based context related access control workflow environment. In: Proc. of the 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD), pp. 381\u2013384. IEEE Press, Los Alamitos (2002), doi:10.1109\/CSCWD.2002.1047718"},{"key":"60_CR18","first-page":"4845","volume-title":"Proc. of IEEE International Conference on Systems, Man and Cybernetics (ICSMC)","author":"Z. Liang","year":"2006","unstructured":"Liang, Z., Bai, S.: Role based workflow modelling. In: Proc. of IEEE International Conference on Systems, Man and Cybernetics (ICSMC), pp. 4845\u20134849. IEEE Press, Los Alamitos (October 2006), doi:10.1109\/ICSMC.2006.385072"},{"key":"60_CR19","first-page":"5013","volume-title":"Proc. of IEEE International Conference on Systems, Man and Cybernetics","author":"Y. Jiang","year":"2004","unstructured":"Jiang, Y., Lin, C., Yin, H., Zhang, Z.: Security analysis of mandatory access control model. In: Proc. of IEEE International Conference on Systems, Man and Cybernetics, pp. 5013\u20135018. IEEE Press, Los Alamitos (October 2004), doi:10.1109\/ICSMC.2004.1400987"},{"key":"60_CR20","first-page":"23","volume-title":"Proc. of the International Conference on System and Network Communication","author":"Z. Zhang","year":"2006","unstructured":"Zhang, Z., Hong, F., Xiao, H.: Verification of strict integrity policy via Petri nets. In: Proc. of the International Conference on System and Network Communication, pp. 23\u201326. IEEE Press, Los Alamitos (October 2006), doi:10.1109\/ICSNC.2006.76"},{"key":"60_CR21","first-page":"184","volume-title":"Proc. of the IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","author":"K. Junszczyszyn","year":"2003","unstructured":"Junszczyszyn, K.: Verifying enterprise\u2019s mandatory access control policies with coloured Petri nets. In: Proc. of the IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 184\u2013189. IEEE Press, Los Alamitos (June 2003)"},{"key":"60_CR22","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/HPCC.2008.37","volume-title":"Proc. of the 10th International Conference on High Performance Computing and Communications (HPCC)","author":"F. Feng","year":"2008","unstructured":"Feng, F., Lin, C., Peng, D., Li, J.: A trust and context based access control model for distributed systems. In: Proc. of the 10th International Conference on High Performance Computing and Communications (HPCC), pp. 629\u2013634. IEEE Computer Society, Los Alamitos (September 2008), doi:10.1109\/HPCC.2008.37"},{"key":"60_CR23","doi-asserted-by":"crossref","unstructured":"Feng, F., Li, J.: Verification and Analysis of Access Control Policy with Colored Petri Net. In: The International Conference on Communication Software and Networks, ICCSN 2009, pp. 610\u2013614 (2009)","DOI":"10.1109\/ICCSN.2009.58"},{"key":"60_CR24","unstructured":"CPN-tool can be downloaded freely for academics from, \n                    \n                      http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"}],"container-title":["Communications in Computer and Information Science","Networked Digital Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14306-9_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:47:15Z","timestamp":1558388835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14306-9_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143052","9783642143069"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14306-9_60","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}