{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:19Z","timestamp":1747807879573},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540496083"},{"type":"electronic","value":"9783540496106"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11937807_16","type":"book-chapter","created":{"date-parts":[[2006,11,8]],"date-time":"2006-11-08T13:56:48Z","timestamp":1162994208000},"page":"196-210","source":"Crossref","is-referenced-by-count":15,"title":["A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty"],"prefix":"10.1007","author":[{"given":"Chunyang","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yeping","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianbo","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhouyi","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"16_CR1","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1093\/comjnl\/35.6.579","volume":"35","author":"L.M. Barroca","year":"1992","unstructured":"Barroca, L.M., McDrmid, J.A.: Formal Methods: Use and Relevance for the Development of Safety Critical Systems. The Computer Journal\u00a035(6), 579\u2013599 (1992)","journal-title":"The Computer Journal"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Wing, J.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"16_CR3","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coyne, E.J., Feinstein, H.L.: Role-based Access Control Model. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"16_CR4","unstructured":"ANSI INCITS 359-2004. Role Based Access Control. American National Standard for Information Technology (2004)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Shafiq, B., Masood, A., Ghafoor, A., et al.: A Role-Based Access Control Policy Verification Framework for Real-Time Systems. In: IEEE Workshop on Object-oriented Real-time Databases, Sedona, Arizona, pp. 13\u201320 (2005)","DOI":"10.1109\/WORDS.2005.11"},{"key":"16_CR6","unstructured":"Zao, J., Hochtech, W., Chu J., et al.: RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis. MIT (December 2002) (accessed, June 2006), \n                    \n                      http:\/\/alloy.mit.edu\/contributions\/RBAC.pdf"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Khayat, E.J., Abdallah, A.E.: A Formal Model for Flat Role-based Access Control. In: ACS\/IEEE International Conference on Computer Systems and Applications (AICCSA 2003), July 2003, Tunis, Tunisia (2003)","DOI":"10.1109\/AICCSA.2003.1227507"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Drouineaud, M., Bortin, M., Torrini, P., et al.: A First Step Towards Formal Verification of Security Policy Properties for RBAC. In: Proceedings of the Quality Software, Fourth International Conference on (QSIC 2004), pp. 60\u201367 (September 2004)","DOI":"10.1109\/QSIC.2004.1357945"},{"issue":"3","key":"16_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., Presicce, F.P.: A Graph-Based Formalism for RBAC. ACM Transactions on Information and System Security\u00a05(3), 332\u2013365 (2002)","journal-title":"ACM Transactions on Information and System Security"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/11560647_26","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"C. Zhao","year":"2005","unstructured":"Zhao, C., Heilili, N., Liu, S.P., et al.: Representation and Reasoning on RBAC: A Description Logic Approach. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 394\u2013406. Springer, Heidelberg (2005)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/11560326_22","volume-title":"Computer Network Security","author":"Z.Y. Zhou","year":"2005","unstructured":"Zhou, Z.Y., Liang, B., Jiang, L.: A Formal Description of SECIMOS Operating System. In: Gorodetsky, V., Kotenko, I., Skormin, V.A. (eds.) MMM-ACNS 2005. LNCS, vol.\u00a03685, pp. 286\u2013297. Springer, Heidelberg (2005)"},{"key":"16_CR12","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Sprivey","year":"1992","unstructured":"Sprivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"16_CR13","unstructured":"ORA Canada Z\/EVES (accessed, June 2006), \n                    \n                      http:\/\/www.ora.on.ca\/z-eves\/"},{"key":"16_CR14","unstructured":"Saaltink, M.: Z\/EVES 2.0 User\u2019s Guide. TR-99-5493-06a, ORA Canada (October 1999)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Kuhn, D.R.: Mutual Exclusion of Roles as a Means of Implementing Separation of Duty in Role-Based Access Control Systems. In: Proc. of the 2nd ACM Workshop on Role-Based Access Control, Fairfax, VA, pp. 23\u201330 (1997)","DOI":"10.1145\/266741.266749"},{"key":"16_CR16","unstructured":"Good, D.I., Akers, R.L., Smith, L.M.: Report on Gypsy 2.05. Tech. Rept. ICSCA-CMP-48, the University of Texas at Austin (1986)"},{"key":"16_CR17","unstructured":"Young, W.D.: Comparing Specification Paradigms: Gypsy and Z. In: Proceedings of the 12th National Computer Security Conference, Baltimore, MA, pp. 83\u201397 (1989)"},{"issue":"2","key":"16_CR18","first-page":"152","volume":"9","author":"A.D. Brucker","year":"2003","unstructured":"Brucker, A.D., Rittinger, F., Wolff, B.: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS\u00a09(2), 152\u2013172 (2003)","journal-title":"J. UCS"}],"container-title":["Lecture Notes in Computer Science","Information Security and Cryptology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11937807_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:48:36Z","timestamp":1619509716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11937807_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540496083","9783540496106"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11937807_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}