{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:02Z","timestamp":1750308182326,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2003,10,30]],"date-time":"2003-10-30T00:00:00Z","timestamp":1067472000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2003,10,30]]},"DOI":"10.1145\/1035429.1035438","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"77-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["authUML"],"prefix":"10.1145","author":[{"given":"Khaled","family":"Alghathbar","sequence":"first","affiliation":[{"name":"George Mason University, VA, King Saud University, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duminda","family":"Wijesekera","sequence":"additional","affiliation":[{"name":"George Mason University, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2003,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"proc. of the 1st International Conference on Software Engineering Research & Applications (ICSERA'03)","author":"Alghathbar K.","year":"2003","unstructured":"K. Alghathbar , D. Wijesekera . Modeling Dynamic Role-based Access Constraints using UML . In proc. of the 1st International Conference on Software Engineering Research & Applications (ICSERA'03) , San Francisco, CA. June 2003 . K. Alghathbar, D. Wijesekera. Modeling Dynamic Role-based Access Constraints using UML. In proc. of the 1st International Conference on Software Engineering Research & Applications (ICSERA'03), San Francisco, CA. June 2003."},{"key":"e_1_3_2_1_2_1","first-page":"89","volume-title":"Foundations of deductive databases","author":"Apt K.","year":"1988","unstructured":"K. Apt , H. Blair , and A. Walker . Towards a theory of declarative knowledge . In J. Minker, editor, Foundations of deductive databases , pages 89 - 148 . Morgan Kaufmann , San Mateo , 1988 . K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of deductive databases, pages 89-148. Morgan Kaufmann, San Mateo, 1988."},{"key":"e_1_3_2_1_3_1","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"1999","unstructured":"G. Booch , J. Rumbaugh , and I. Jacobson . The Unified Modeling Language User Guide . Addison-Wesley , Reading, MA , 1999 . G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1999."},{"key":"e_1_3_2_1_4_1","volume-title":"the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT)","author":"Brose G.","year":"2002","unstructured":"G. Brose , M. Koch , K.-P. L\u00f6hr . Integrating Access Control Design into the Software Development Process . In the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT) , Pasadena, CA. June 2002 . G. Brose, M. Koch, K.-P. L\u00f6hr. Integrating Access Control Design into the Software Development Process. In the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT), Pasadena, CA. June 2002."},{"key":"e_1_3_2_1_5_1","first-page":"88","volume-title":"Proc. European Symposium on Research in Computer Security (ESORICS), LNCS 1895","author":"Brose G.","year":"2000","unstructured":"G. Brose . A typed access control model for CORBA. In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Weidner, editors , Proc. European Symposium on Research in Computer Security (ESORICS), LNCS 1895 , pages 88 -- 105 . Springer , 2000 . G. Brose. A typed access control model for CORBA. In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Weidner, editors, Proc. European Symposium on Research in Computer Security (ESORICS), LNCS 1895, pages 88--105. Springer, 2000."},{"volume-title":"IEEE Symposium on Security and Privacy 1987:  184-19","author":"Clark D. D.","unstructured":"D. D. Clark , D. R. Wilson . A Comparison of Commercial and Military Computer Security Policies . IEEE Symposium on Security and Privacy 1987: 184-19 . D. D. Clark, D. R. Wilson. A Comparison of Commercial and Military Computer Security Policies. IEEE Symposium on Security and Privacy 1987: 184-19.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/336512.336559"},{"volume-title":"John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989:  229-241","author":"Dobson John E.","unstructured":"John E. Dobson , John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989: 229-241 John E. Dobson, John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989: 229-241","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","volume-title":"And M. Piattini. Integrating Multilevel Security in the Database Design Process. In the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT)","author":"Fernandez-Medina E.","year":"2002","unstructured":"E. Fernandez-Medina , A. Martinez , C. Medina , And M. Piattini. Integrating Multilevel Security in the Database Design Process. In the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT) , Pasadena, CA. June 2002 . E. Fernandez-Medina, A. Martinez, C. Medina, And M. Piattini. Integrating Multilevel Security in the Database Design Process. In the Proceedings of the sixth biennial world conference on the Integrated Design and Process Technology (IDPT), Pasadena, CA. June 2002."},{"key":"e_1_3_2_1_10_1","first-page":"19","volume-title":"Phase1 -A Position Paper\", Proceedings of Fundamentals of Artificial Intelligence Research '91","author":"Gabbay D.","unstructured":"D. Gabbay and A. Hunter , \" Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning , Phase1 -A Position Paper\", Proceedings of Fundamentals of Artificial Intelligence Research '91 , 19 - 32 , Springer-Verlag . D. Gabbay and A. Hunter, \"Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning, Phase1 -A Position Paper\", Proceedings of Fundamentals of Artificial Intelligence Research '91, 19-32, Springer-Verlag."},{"key":"e_1_3_2_1_11_1","first-page":"129","volume-title":"Phase2\", In Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"Gabbay D.","year":"1992","unstructured":"D. Gabbay and A. Hunter , \" Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning , Phase2\", In Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 129 - 136 , LNCS, Springer-Verlag , 1992 . D. Gabbay and A. Hunter, \"Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning, Phase2\", In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 129-136, LNCS, Springer-Verlag, 1992."},{"key":"e_1_3_2_1_12_1","first-page":"1070","volume-title":"Proceedings, 5th International Conference and Symposium on Logic Programming","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond , V. Lifschitz . 1988 . The stable model semantics for logic programming . In Proceedings, 5th International Conference and Symposium on Logic Programming . Seattle, Wash. pp. 1070 - 1080 . M. Gelfond, V. Lifschitz. 1988. The stable model semantics for logic programming. In Proceedings, 5th International Conference and Symposium on Logic Programming. Seattle, Wash. pp. 1070-1080."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_14_1","first-page":"187","volume-title":"4th Internacional Conference, Proceedings, LNCS","author":"Jurjens J.","year":"2001","unstructured":"J. Jurjens . Towards development of secure systems using UMLsec. In H. Hussmann, editor, Fundamental Approaches to Software Engineering , 4th Internacional Conference, Proceedings, LNCS , pages 187 - 200 . Springer , 2001 . J. Jurjens. Towards development of secure systems using UMLsec. In H. Hussmann, editor, Fundamental Approaches to Software Engineering, 4th Internacional Conference, Proceedings, LNCS, pages 187-200. Springer, 2001."},{"key":"e_1_3_2_1_15_1","volume-title":"SecureUML: A UML-Based Modeling Language for Model-Driven Security. In the proceedings of the 5th International Conference on the Unified Modeling Language","author":"Lodderstedt T.","year":"2002","unstructured":"T. Lodderstedt , D. Basin , J. Doser . SecureUML: A UML-Based Modeling Language for Model-Driven Security. In the proceedings of the 5th International Conference on the Unified Modeling Language , Dresden, Germany. P ages 426-441. Springer , October 2002 T. Lodderstedt, D. Basin, J. Doser. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In the proceedings of the 5th International Conference on the Unified Modeling Language,Dresden, Germany. P ages 426-441. Springer, October 2002"},{"issue":"11","key":"e_1_3_2_1_16_1","article-title":"Making Respectable in Software Development","volume":"56","author":"Nuseibeh B.","year":"2001","unstructured":"B. Nuseibeh , S. Easterbrook and A. Russo; \" Making Respectable in Software Development \", Journal of Systems and Software , 56 ( 11 ), November 2001 , Elsevier Science Publishers B. Nuseibeh, S. Easterbrook and A. Russo; \"Making Respectable in Software Development\", Journal of Systems and Software, 56(11), November 2001, Elsevier Science Publishers","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_17_1","volume-title":"Version 1.4","author":"Object Management Group","year":"2001","unstructured":"Object Management Group . OMG Unified Modeling Language Specification , Version 1.4 , 2001 http:\/\/www.omg.org\/technology\/documents\/formal\/uml. htm. Object Management Group. OMG Unified Modeling Language Specification, Version 1.4, 2001 http:\/\/www.omg.org\/technology\/documents\/formal\/uml. htm."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/2.485845"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.5555\/1765175.1765177"},{"key":"e_1_3_2_1_21_1","volume-title":"a. Kleppe. The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1999","unstructured":"J. Warmer , a. Kleppe. The Object Constraint Language: Precise Modeling with UML . Addison Wesley , 1999 . J. Warmer, a. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999."}],"event":{"sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"acronym":"CCS03","name":"CCS03: Tenth ACM Conference on Computer and Communications Security 2003","location":"Washington D.C."},"container-title":["Proceedings of the 2003 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035429.1035438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:29Z","timestamp":1750263869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035438"}},"subtitle":["a three-phased framework to analyze access control specifications in use cases"],"short-title":[],"issued":{"date-parts":[[2003,10,30]]},"references-count":20,"alternative-id":["10.1145\/1035429.1035438","10.1145\/1035429"],"URL":"https:\/\/doi.org\/10.1145\/1035429.1035438","relation":{},"subject":[],"published":{"date-parts":[[2003,10,30]]},"assertion":[{"value":"2003-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}