{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T02:29:17Z","timestamp":1674872957012},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T00:00:00Z","timestamp":1317254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11334-011-0166-z","type":"journal-article","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T11:34:22Z","timestamp":1317209662000},"page":"303-313","source":"Crossref","is-referenced-by-count":15,"title":["Combining UML, ASTD and B for the formal specification of an access control filter"],"prefix":"10.1007","volume":"7","author":[{"given":"J.","family":"Milhau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Idani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Laleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Labiadh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Ledru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"key":"166_CR1","doi-asserted-by":"crossref","unstructured":"Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press","DOI":"10.1017\/CBO9780511624162"},{"key":"166_CR2","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for Web services"},{"key":"166_CR3","doi-asserted-by":"crossref","unstructured":"Cuppens F, Mi\u00e8ge A (2003) Modelling contexts in the Or-BAC model. In: Proceedings of the 19th annual computer security applications conference, ACSAC \u201903. IEEE Computer Society, Washington, p 416","DOI":"10.1109\/CSAC.2003.1254346"},{"key":"166_CR4","doi-asserted-by":"crossref","unstructured":"El Kalam AA, Benferhat S, Mi\u00e8ge A, El Baida R, Cuppens F, Saurel C, Balbiani P, Deswarte Y, Trouessin G (2003) Organization based access control. In: POLICY \u201903: proceedings of the 4th IEEE international workshop on policies for distributed systems and networks. IEEE Computer Society, Washington, p 120","DOI":"10.1109\/POLICY.2003.1206966"},{"issue":"2","key":"166_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4018\/jssoe.2011040103","volume":"2","author":"M Embe Jiague","year":"2011","unstructured":"Embe Jiague M, Frappier M., Gervais F, Laleau R, St-Denis R (2011) Enforcing ASTD access control policies to WS-BPEL processes deployed in a SOA environment. Int J Syst Service-Oriented Eng 2(2): 37\u201359","journal-title":"Int J Syst Service-Oriented Eng"},{"key":"166_CR6","volume-title":"Role-based access control","author":"DF Ferraiolo","year":"2003","unstructured":"Ferraiolo DF, Kuhn DR, Chandramouli R (2003) Role-based access control. Artech House Inc., Norwood"},{"key":"166_CR7","doi-asserted-by":"crossref","unstructured":"Frappier M, Diagne F, Amel Mammar A (2011) Proving reachability in B using substitution refinement. In: B 2011 Workshop. Electronic Notes in Theoretical Computer Science (to appear)","DOI":"10.1016\/j.entcs.2011.11.017"},{"issue":"3","key":"166_CR8","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s11334-008-0064-1","volume":"4","author":"M Frappier","year":"2008","unstructured":"Frappier M, Gervais F, Laleau R, Fraikin B, St-Denis R (2008) Extending statecharts with process algebra operators. Innov Syst Softw Eng 4(3): 285\u2013292","journal-title":"Innov Syst Softw Eng"},{"key":"166_CR9","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"M Frappier","year":"2003","unstructured":"Frappier M, St-Denis R (2003) EB3: an entity-based black-box specification method for information systems. Softw Syst Model 2: 134\u2013149","journal-title":"Softw Syst Model"},{"issue":"5","key":"166_CR10","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"MD Fraser","year":"1991","unstructured":"Fraser MD, Kumar K, Vaishnavi VK (1991) Informal and formal requirements specification languages: bridging the gap. IEEE Trans Softw Eng 17(5): 454\u2013465","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"166_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3): 231\u2013274","journal-title":"Sci Comput Program"},{"issue":"3","key":"166_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3166\/isi.15.3.87-112","volume":"15","author":"A Idani","year":"2010","unstructured":"Idani A, Labiadh MA, Ledru Y (2010) Infrastructure dirig\u00e9e par les mod\u00e8les pour une int\u00e9gration adaptable et \u00e9volutive de UML et B. Ing\u00e9nierie des Syst\u00e8mes d\u2019Information 15(3): 87\u2013112","journal-title":"Ing\u00e9nierie des Syst\u00e8mes d\u2019Information"},{"key":"166_CR13","first-page":"1","volume-title":"UML 2002\u2014the unified modeling language. Lecture notes in computer science, vol 2460","author":"J J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens J (2002) Umlsec: extending UML for secure systems development. In: J\u00e9z\u00e9quel JM, Hussmann H, Cook S (eds) UML 2002\u2014the unified modeling language. Lecture notes in computer science, vol 2460. Springer, Heidelberg, pp 1\u20139"},{"key":"166_CR14","doi-asserted-by":"crossref","unstructured":"Laleau R, Mammar A (2000) An overview of a method and its support tool for generating B specifications from UML notations. In: Proceedings of the 15th IEEE international conference on automated software engineering, ASE \u201900. IEEE Computer Society, Washington, pp 269\u2013272","DOI":"10.1109\/ASE.2000.873675"},{"key":"166_CR15","doi-asserted-by":"crossref","unstructured":"Lano K, Clark D, Androutsopoulos K (2004) UML to B: formal verification of object-oriented models. In: Integrated formal methods. Lecture notes in computer science, vol 2999. Springer, pp 187\u2013206","DOI":"10.1007\/978-3-540-24756-2_11"},{"key":"166_CR16","first-page":"592","volume-title":"Advanced information systems engineering workshops. Lecture notes in business information processing, vol 83","author":"Y Ledru","year":"2011","unstructured":"Ledru Y, Idani A, Milhau J, Qamar N, Laleau R, Richier JL, Labiadh MA (2011) Taking into account functional models in the validation of is security policies. In: Salinesi C, Pastor Q, Aalst W, Mylopoulos J, Sadeh NM, Shaw MJ, Szyperski C (eds) Advanced information systems engineering workshops. Lecture notes in business information processing, vol 83. Springer, Heidelberg, pp 592\u2013606"},{"key":"166_CR17","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: formal methods. Lecture notes in computer science, vol 2805","author":"M Leuschel","year":"2003","unstructured":"Leuschel M, Butler M (2003) ProB: a model checker for B. In: Araki K, Gnesi S, Mandrioli D (eds) FME 2003: formal methods. Lecture notes in computer science, vol 2805. Springer, Heidelberg, pp 855\u2013874"},{"issue":"2","key":"166_CR18","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel M, Butler MJ (2008) ProB: an automated analysis toolset for the B method. STTT 10(2): 185\u2013203","journal-title":"STTT"},{"key":"166_CR19","doi-asserted-by":"crossref","unstructured":"Lodderstedt T, Basin DA, Doser J (2002) Secureuml: a UML-based modeling language for model-driven security. In: 5th International conference on the unified modeling language (UML). LNCS, vol 2460. Springer, Berlin, pp 426\u2013441","DOI":"10.1007\/3-540-45800-X_33"},{"key":"166_CR20","doi-asserted-by":"crossref","unstructured":"Mammar A, Frappier M, Diagne F (2011) A proof-based approach to verifying reachability properties. In: Proceedings of the 2011 ACM symposium on applied computing, SAC \u201911. ACM, New York, pp 1651\u20131657","DOI":"10.1145\/1982185.1982531"},{"key":"166_CR21","unstructured":"Milhau J, Frappier M, Gervais F, Laleau R (2010) Systematic translation of EB3 and ASTD specifications in B and EventB. Technical report 30 v3.0, Universit\u00e9 de Sherbrooke"},{"key":"166_CR22","first-page":"245","volume-title":"Integrated formal methods. Lecture notes in computer science, vol 6396","author":"J Milhau","year":"2010","unstructured":"Milhau J, Frappier M, Gervais F, Laleau R (2010) Systematic translation rules from ASTD to Event-B. In: M\u00e9ry D, Merz S (eds) Integrated formal methods. Lecture notes in computer science, vol 6396. Springer, Berlin, pp 245\u2013259"},{"key":"166_CR23","doi-asserted-by":"crossref","unstructured":"Preda S, Cuppens-Boulahia N, Cuppens F, Garcia-Alfaro J, Toutain L (2010) Model-driven security policy deployment: property oriented approach. In: International symposium on engineering secure software and systems (ESSOS\u201910). LNCS, vol 5965. Springer, Berlin, pp 123\u2013139","DOI":"10.1007\/978-3-642-11747-3_10"},{"issue":"2","key":"166_CR24","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R Sandhu","year":"1996","unstructured":"Sandhu R, Coyne E, Feinstein H, Youman C (1996) Role-based access control models. IEEE Comput 29(2): 38\u201347","journal-title":"IEEE Comput"},{"key":"166_CR25","doi-asserted-by":"crossref","unstructured":"Snook C, Butler M (2004) U2B-A tool for translating UML-B models into B. In: Mermet J (ed) UML-B specification for proven embedded systems design","DOI":"10.1007\/978-1-4020-2867-0_6"},{"issue":"1","key":"166_CR26","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook C, Butler M (2006) UML-B: formal modeling and design aided by UML . ACM Trans Softw Eng Methodol 15(1): 92\u2013122","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"166_CR27","doi-asserted-by":"crossref","unstructured":"Toahchoodee M, Ray I, Anastasakis K, Georg G, Bordbar B (2009) Ensuring spatio-temporal access control for real-world applications. In: Proceedings of the 14th ACM symposium on access control models and technologies, SACMAT \u201909. ACM, New York, pp 13\u201322","DOI":"10.1145\/1542207.1542212"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0166-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0166-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0166-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T17:14:41Z","timestamp":1560705281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0166-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,29]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["166"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0166-z","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,29]]}}}