{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:57Z","timestamp":1750307697208,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,3]],"date-time":"2009-06-03T00:00:00Z","timestamp":1243987200000},"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":[[2009,6,3]]},"DOI":"10.1145\/1542207.1542212","type":"proceedings-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T12:44:24Z","timestamp":1244551464000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Ensuring spatio-temporal access control for real-world applications"],"prefix":"10.1145","author":[{"given":"Manachai","family":"Toahchoodee","sequence":"first","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyriakos","family":"Anastasakis","sequence":"additional","affiliation":[{"name":"University of Birmingham, Edgbaston, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geri","family":"Georg","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[{"name":"University of Birmingham, Edgbaston, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"On Challenges of Model Transformation from UML to Alloy. Journal on Software &amp","author":"Anastasakis K.","year":"2009","unstructured":"K. Anastasakis , B. Bordbar , G. Georg , and I. Ray . On Challenges of Model Transformation from UML to Alloy. Journal on Software &amp ; System Modeling, 2009 . To appear. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. On Challenges of Model Transformation from UML to Alloy. Journal on Software & System Modeling, 2009. To appear."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394141"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1128817.1128850"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344298"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1063979.1063985"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11681885_5"},{"key":"e_1_3_2_1_7_1","first-page":"209","volume-title":"Proceedings of the IADIS International Conference on Applied Computing","author":"Bordbar Behzad","year":"2005","unstructured":"Behzad Bordbar and Kyriakos Anastasakis . UML2ALLOY : A tool for lightweight modelling of discrete event systems . In Proceedings of the IADIS International Conference on Applied Computing , pages 209 -- 216 , Algarve, Portugal , February 2005 . Behzad Bordbar and Kyriakos Anastasakis. UML2ALLOY: A tool for lightweight modelling of discrete event systems. In Proceedings of the IADIS International Conference on Applied Computing, pages 209--216, Algarve, Portugal, February 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581062_27"},{"key":"e_1_3_2_1_9_1","first-page":"249","volume-title":"Mustaque Ahamad. A Context-Aware Security Architecture for Emerging Applications. In Proceedings of the Annual Computer Security Applications Conference","author":"Covington Michael J.","year":"2002","unstructured":"Michael J. Covington , Prahlad Fogla , Zhiyuan Zhan , and Mustaque Ahamad. A Context-Aware Security Architecture for Emerging Applications. In Proceedings of the Annual Computer Security Applications Conference , pages 249 -- 260 , Las Vegas, NV, USA , December 2002 . Michael J. Covington, Prahlad Fogla, Zhiyuan Zhan, and Mustaque Ahamad. A Context-Aware Security Architecture for Emerging Applications. In Proceedings of the Annual Computer Security Applications Conference , pages 249--260, Las Vegas, NV, USA, December 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/373256.373258"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.004"},{"key":"e_1_3_2_1_13_1","series-title":"LNI","first-page":"128","volume-title":"Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists.","author":"Georg Geri","year":"2001","unstructured":"Geri Georg , James Bieman , and Robert B. France . Using Alloy and UML\/OCL to Specify Run-Time Configuration Management: A Case Study . In Andy Evans, Robert France, Ana Moreira, and Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. , volume P-7 of LNI , pages 128 -- 141 , 2001 . Geri Georg, James Bieman, and Robert B. France. Using Alloy and UML\/OCL to Specify Run-Time Configuration Management: A Case Study. In Andy Evans, Robert France, Ana Moreira, and Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists., volume P-7 of LNI, pages 128--141, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990039"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377867"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355063"},{"key":"e_1_3_2_1_17_1","volume-title":"Micromodels of Software: Lightweight Modelling and Analysis with Alloy. At http:\/\/alloy.mit.edu\/alloy2website\/reference-manual.pdf","author":"Jackson Daniel","year":"2002","unstructured":"Daniel Jackson . Micromodels of Software: Lightweight Modelling and Analysis with Alloy. At http:\/\/alloy.mit.edu\/alloy2website\/reference-manual.pdf , 2002 . Daniel Jackson. Micromodels of Software: Lightweight Modelling and Analysis with Alloy. At http:\/\/alloy.mit.edu\/alloy2website\/reference-manual.pdf , 2002."},{"key":"e_1_3_2_1_18_1","volume-title":"At http:\/\/alloy.mit.edu\/reference-manual.pdf","author":"Jackson Daniel","year":"2004","unstructured":"Daniel Jackson . Alloy 3.0 reference manual. At http:\/\/alloy.mit.edu\/reference-manual.pdf , 2004 . Daniel Jackson. Alloy 3.0 reference manual. At http:\/\/alloy.mit.edu\/reference-manual.pdf, 2004."},{"key":"e_1_3_2_1_19_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . Software Abstractions: Logic, Language, and Analysis . MIT Press , 2006 . Daniel Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006."},{"key":"e_1_3_2_1_20_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . Software Abstractions: Logic, Language, and Analysis . The MIT Press , London, England , 2006 . Daniel Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, London, England, 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.1"},{"key":"e_1_3_2_1_22_1","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe Anneke G.","year":"2003","unstructured":"Anneke G. Kleppe , Jos Warmer , and Wim Bast . MDA Explained: The Model Driven Architecture: Practice and Promise . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2003 . Anneke G. Kleppe, Jos Warmer, and Wim Bast. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003."},{"key":"e_1_3_2_1_23_1","volume-title":"Security Consideration for a Distributed Location Service","author":"Leonhardt Ulf","year":"1997","unstructured":"Ulf Leonhardt and Jeff Magee . Security Consideration for a Distributed Location Service . Imperial College of Science , Technology and Medicine, London, UK, 1997 . Ulf Leonhardt and Jeff Magee. Security Consideration for a Distributed Location Service. Imperial College of Science, Technology and Medicine, London, UK, 1997."},{"key":"e_1_3_2_1_24_1","unstructured":"OMG. MOF Core v. 2.0. Document Id: formal\/06-01-01. http:\/\/www.omg.org.  OMG. MOF Core v. 2.0. Document Id: formal\/06-01-01. http:\/\/www.omg.org."},{"key":"e_1_3_2_1_25_1","unstructured":"OMG. OCL Version 2.0. Document id: formal\/06-05-01. http:\/\/www.omg.org.  OMG. OCL Version 2.0. Document id: formal\/06-05-01. http:\/\/www.omg.org."},{"key":"e_1_3_2_1_26_1","unstructured":"OMG. UML: Superstructure. Version 2.0. Document id: formal\/05-07--04. http:\/\/www.omg.org.  OMG. UML: Superstructure. Version 2.0. Document id: formal\/05-07--04. http:\/\/www.omg.org."},{"key":"e_1_3_2_1_27_1","volume-title":"Superstructure Version 2.1.2 Formal\/07\/11\/02. At http:\/\/www.omg.org\/docs\/formal\/07-11-02.pdf","author":"Unified Modeling Language OMG.","year":"2002","unstructured":"OMG. Unified Modeling Language : Superstructure Version 2.1.2 Formal\/07\/11\/02. At http:\/\/www.omg.org\/docs\/formal\/07-11-02.pdf ., 2002 . OMG. Unified Modeling Language: Superstructure Version 2.1.2 Formal\/07\/11\/02. At http:\/\/www.omg.org\/docs\/formal\/07-11-02.pdf., 2002."},{"key":"e_1_3_2_1_28_1","volume-title":"Towards a Location-Based Mandatory Access Control Model. Computers &amp","author":"Ray Indrakshi","year":"2006","unstructured":"Indrakshi Ray and Mahendra Kumar . Towards a Location-Based Mandatory Access Control Model. Computers &amp ; Security , 25(1), February 2006 . Indrakshi Ray and Mahendra Kumar. Towards a Location-Based Mandatory Access Control Model. Computers & Security, 25(1), February 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11961635_10"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990054"},{"key":"e_1_3_2_1_31_1","first-page":"211","volume-title":"Ray and Manachai Toahchoodee. A Spatio-temporal Role-Based Access Control Model. In Proceedings of the 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security","author":"Indrakshi","year":"2007","unstructured":"Indrakshi Ray and Manachai Toahchoodee. A Spatio-temporal Role-Based Access Control Model. In Proceedings of the 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security , pages 211 -- 226 , Redondo Beach, CA , July 2007 . Indrakshi Ray and Manachai Toahchoodee. A Spatio-temporal Role-Based Access Control Model. In Proceedings of the 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, pages 211--226, Redondo Beach, CA, July 2007."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85735-8_6"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/784592.784783"},{"key":"e_1_3_2_1_35_1","volume-title":"A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model. Technical report","author":"Samuel Arjmand","year":"2007","unstructured":"Arjmand Samuel , Arif Ghafoor , and Elisa Bertino . A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model. Technical report , Purdue University , February 2007 . CERIAS TR 2007-08. Arjmand Samuel, Arif Ghafoor, and Elisa Bertino. A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model. Technical report, Purdue University, February 2007. CERIAS TR 2007-08."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/507711.507714"},{"key":"e_1_3_2_1_38_1","first-page":"183","volume-title":"Simon and Mary Ellen Zurko. Separation of Duty in Role-based Environments. In Proceedings of the 10th Computer Security Foundations Workshop","author":"Richard","year":"1997","unstructured":"Richard Simon and Mary Ellen Zurko. Separation of Duty in Role-based Environments. In Proceedings of the 10th Computer Security Foundations Workshop , pages 183 -- 194 , Rockport, MA, USA , June 1997 . Richard Simon and Mary Ellen Zurko. Separation of Duty in Role-based Environments. In Proceedings of the 10th Computer Security Foundations Workshop, pages 183--194, Rockport, MA, USA, June 1997."},{"key":"e_1_3_2_1_39_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-540-39979-7_16","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2 003","author":"Taghdiri Mana","year":"2003","unstructured":"Mana Taghdiri and Daniel Jackson . A lightweight formal analysis of a multicast key management scheme . In Formal Techniques for Networked and Distributed Systems - FORTE 2 003 , volume 2767 of Lecture Notes in Computer Science , pages 240 -- 256 , 2003 . Mana Taghdiri and Daniel Jackson. A lightweight formal analysis of a multicast key management scheme. In Formal Techniques for Networked and Distributed Systems - FORTE 2 003, volume 2767 of Lecture Notes in Computer Science, pages 240--256, 2003."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70567-3_2"},{"key":"e_1_3_2_1_41_1","volume-title":"IET Information Security","author":"Toahchoodee Manachai","year":"2009","unstructured":"Manachai Toahchoodee and Indrakshi Ray . Using Alloy to Analyze a Spatio-Temporal Access Control Model Supporting Delegation . IET Information Security , 2009 . To appear. Manachai Toahchoodee and Indrakshi Ray. Using Alloy to Analyze a Spatio-Temporal Access Control Model Supporting Delegation. IET Information Security, 2009. To appear."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11937807_16"},{"key":"e_1_3_2_1_43_1","volume-title":"RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis. At http:\/\/alloy.mit.edu\/publications.php","author":"Zao John","year":"2002","unstructured":"John Zao , Hoetech Wee , Jonathan Chu , and Daniel Jackson . RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis. At http:\/\/alloy.mit.edu\/publications.php , 2002 . John Zao, Hoetech Wee, Jonathan Chu, and Daniel Jackson. RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis. At http:\/\/alloy.mit.edu\/publications.php, 2002."}],"event":{"name":"SACMAT '09: 14th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"],"location":"Stresa Italy","acronym":"SACMAT '09"},"container-title":["Proceedings of the 14th ACM symposium on Access control models and technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542212","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542207.1542212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:58Z","timestamp":1750253398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,3]]},"references-count":42,"alternative-id":["10.1145\/1542207.1542212","10.1145\/1542207"],"URL":"https:\/\/doi.org\/10.1145\/1542207.1542212","relation":{},"subject":[],"published":{"date-parts":[[2009,6,3]]},"assertion":[{"value":"2009-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}