{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:03:49Z","timestamp":1648613029774},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,1,28]],"date-time":"2010-01-28T00:00:00Z","timestamp":1264636800000},"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":[[2010,3]]},"DOI":"10.1007\/s11334-010-0122-3","type":"journal-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T22:35:04Z","timestamp":1264545304000},"page":"125-133","source":"Crossref","is-referenced-by-count":3,"title":["Formal verification of secure group communication protocols modelled in UML"],"prefix":"10.1007","volume":"6","author":[{"given":"P.","family":"de Saqui-Sannes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Villemur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Fontan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. S.","family":"Bouassida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Chridi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Chrisment","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Vigneron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,28]]},"reference":[{"key":"122_CR1","doi-asserted-by":"crossref","unstructured":"Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, Hankes Drielsma P, H\u00e9am PC, Kouchnarenko O, Mantovani J, M\u00f6dersheim S, Von Oheimb D, Rusinowitch M, Santos Santiago J, Vigano L, Turuani M, Vigneron L (2005) The AVISPA tool for the automated validation of internet security protocols and applications. In: Proceedings of 17th international conference on computer aided verification (CAV\u201905). Springer-Verlag (LNCS 3576). Edinburgh, Scotland, pp. 281\u2013285","DOI":"10.1007\/11513988_27"},{"issue":"7","key":"122_CR2","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"L Apvrille","year":"2004","unstructured":"Apvrille L, Courtiat J-P, Lohr C, de Saqui-Sannes P (2004) TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans Softw Eng 30(7): 473\u2013487","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"122_CR3","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao AC (1983) On the security of public-key protocols. IEEE Trans Inform Theory 29(2): 198\u2013208","journal-title":"IEEE Trans Inform Theory"},{"key":"122_CR4","unstructured":"Mota S (2008) Protocol modeling and verification for secured group communications. PhD thesis, University of Toulouse (in French)"},{"issue":"1","key":"122_CR5","first-page":"67","volume":"6","author":"MS Bouassida","year":"2008","unstructured":"Bouassida MS, Chrisment I, Festor O (2008) Group key management in MANETs. Int J Netw Secur IJNS 6(1): 67\u201379","journal-title":"Int J Netw Secur IJNS"},{"key":"122_CR6","doi-asserted-by":"crossref","unstructured":"Steiner M, Tsudik G, Waidner M (1998) CLIQUES: a new approach to group key agreement. In: Proceedings of the 18th IEEE international conference on distributed computing system, Amsterdam, pp 380\u2013387","DOI":"10.1109\/ICDCS.1998.679745"},{"key":"122_CR7","doi-asserted-by":"crossref","unstructured":"Meadows C (2000) Extending formal cryptographic protocol analysis techniques for group protocols and low-level cryptographic primitives. In: Proceedings of the first workshop on issues in the theory of security. Degano P, Geneva, Switzerland, pp 87\u201392","DOI":"10.21236\/ADA464085"},{"key":"122_CR8","doi-asserted-by":"crossref","unstructured":"Taghdir M, Jackson D (2003) A lightweight formal analysis of a multicast key management scheme. In: Proceedings of 23rd IFIP international conference on formal techniques for networked and distributed systems, FORTE\u201903, pp 240\u2013256","DOI":"10.1007\/978-3-540-39979-7_16"},{"key":"122_CR9","doi-asserted-by":"crossref","unstructured":"Steel G, Bundy A, Maidl M (2004) Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. In: Proceedings of the international joint conference on automated reasoning. Springer-Verlag (LNAI 3097), pp 137\u2013151","DOI":"10.1007\/978-3-540-25984-8_8"},{"key":"122_CR10","doi-asserted-by":"crossref","unstructured":"Tanaka S, Sato F (2001) A key distribution and rekeying framework with totally ordered multicast protocols. In: Proceedings of 15th IEEE international conference on information networking, ICOIN\u201901, pp 831\u2013838","DOI":"10.1109\/ICOIN.2001.905598"},{"key":"122_CR11","unstructured":"Steel G, Bundy A (2004) Attacking group multicast key management protocols using CORAL. In: Proceedings of the ARSPA workshop. ENTCS, vol. 125, no 1, pp 125\u2013144"},{"key":"122_CR12","doi-asserted-by":"crossref","unstructured":"Mittra S (1997) Iolus: a framework for scalable secure multicasting. In: Proceedings of ACM, SIGCOMM\u201997, pp 277\u2013288","DOI":"10.1145\/263105.263179"},{"key":"122_CR13","doi-asserted-by":"crossref","unstructured":"Meadows C, Syverson P (2001) Formalizing GDOI group key management requirements in NPATRL. In: Proceedings of the 8th ACM conference on computer and communications security, pp 235\u2013 244","DOI":"10.1145\/501983.502016"},{"key":"122_CR14","unstructured":"Corin R, Etalle S, Hartel PH, Mader A (2004) ADER, timed analysis of Security Protocols. In: Proceedings of ACM workshop on formal methods in security engineering, Washington DC, USA, pp 26\u201332"},{"key":"122_CR15","unstructured":"Chick T, Teo JCM (2006) Energy-efficient ID-based group key agreement protocols for wireless networks. In: Proceedings of 20th parallel and distributed processing symposium"},{"issue":"3","key":"122_CR16","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1016\/j.jnca.2005.07.008","volume":"30","author":"B Wu","year":"2007","unstructured":"Wu B, Wu J, Fernandez B, Ilyas M, Magliveras S (2007) Secure and efficient key management in mobile ad hoc networks. J Netw Comput Appl 30(3): 937\u2013954","journal-title":"J Netw Comput Appl"},{"key":"122_CR17","first-page":"1689","volume":"3","author":"M Bohio","year":"2004","unstructured":"Bohio M, Miri A (2004) Authenticated secure communications in mobile ad hoc networks. Proc IEEE Conf Electr Comput Eng 3: 1689\u20131692","journal-title":"Proc IEEE Conf Electr Comput Eng"},{"issue":"2","key":"122_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/312203.312207","volume":"17","author":"KP Birman","year":"1999","unstructured":"Birman KP, Hayden M, Ozkazap O, Xiao Z, Bidiu M, Minsky Y (1999) Bimodal multicast. ACM Trans Comput Syst 17(2): 41\u201388","journal-title":"ACM Trans Comput Syst"},{"key":"122_CR19","unstructured":"Birman KP, Hayden M, Hickey J, Kreitz C, van Renesse R, Rodeh O, Vogels W (2000) The Horus and Ensemble projects: accomplishments and limitations. In: Information survivability conference and exposition DISCEX \u201900, vol 1, pp 149\u2013161"},{"key":"122_CR20","doi-asserted-by":"crossref","unstructured":"Whetten B, Kaplan S, Montgomery T (1994) A high performance totally ordered multicast protocol. In: Proceedings of the workshop on theory and practice in distributed systems","DOI":"10.1007\/3-540-60042-6_3"},{"key":"122_CR21","unstructured":"Amir Y, Dolev D, Kramer S, Malki D (1992) Transis: a communication sub-system for high availability. In: Proceedings of 22nd annual international symposium on fault tolerant computing, pp 76\u201384"},{"issue":"4","key":"122_CR22","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/210223.210224","volume":"13","author":"Y Amir","year":"1995","unstructured":"Amir Y, Moser LE, Melliar-Smith PM, Agarwal DA, Ciarfella P (1995) The totem single-ring ordering and membership protocol. ACM Trans Comput Syst 13(4): 311\u2013342","journal-title":"ACM Trans Comput Syst"},{"issue":"4","key":"122_CR23","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/227210.227229","volume":"39","author":"R Renesse van","year":"1996","unstructured":"van Renesse R, Birman KP, Maffeis S (1996) HORUS: a flexible group communication system. Commun ACM 39(4): 76\u201383","journal-title":"Commun ACM"},{"issue":"3","key":"122_CR24","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1109\/49.564150","volume":"15","author":"L Gong","year":"1997","unstructured":"Gong L (1997) Enclaves: enabling secure collaboration over the internet. IEEE Trans Selected Areas Commun 15(3): 567\u2013575","journal-title":"IEEE Trans Selected Areas Commun"},{"issue":"5","key":"122_CR25","first-page":"125","volume":"11","author":"MA Hiltunen","year":"1996","unstructured":"Hiltunen MA, Schlichting RD (1996) Adaptative distributed and fault-tolerant systems. Comput Syst Sci Eng 11(5): 125\u2013133","journal-title":"Comput Syst Sci Eng"},{"key":"122_CR26","doi-asserted-by":"crossref","unstructured":"Irrer J, Prakash A, McDaniel P (2003) Antigone: policy-based secure group communication system and AMirD: antigone-based secure file mirroring system. In: Proceedings of the DARPA information survivability conference and exposition DISCEX, pp 44\u201346","DOI":"10.1109\/DISCEX.2003.1194910"},{"key":"122_CR27","unstructured":"Almeida C (2004) Handling QoS in a dynamic real-time environment. In: Proceedings of the 8th IEEE international workshop on object-oriented real-time dependable systems, pp 217\u2013224"},{"key":"122_CR28","doi-asserted-by":"crossref","unstructured":"Gutierrez-Nolasco S, Stehr M, Talcott C, Venkata N (2004) Exploring adaptability of secure group communication using formal prototyping techniques. In: Proceedings of 3rd workshop on adaptative and reflective middleware, Toronto, Canada","DOI":"10.1145\/1028613.1028622"},{"key":"122_CR29","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens J, Schreck J, Bartmann P (2008) Model-based security analysis for mobile communications. In: 30th international conference on software engineering (ICSE\u201908), Leipzig, Germany","DOI":"10.1145\/1368088.1368186"},{"key":"122_CR30","unstructured":"Morimoto S, Cheng J (2005) Pattern protection profiles by UML for security specifications. In: International conference on computational intelligence for modelling control and automation (CIMCA-IAWTIC\u201905), Vienna, Austria"},{"key":"122_CR31","unstructured":"Abie H, Aredo DB, Kristoffersen T, Mazaber S, Raguin T (2005) Integrating a Security requirement Language with UML. In: 7th international conference on the unified modeling language (UML 2004), Lisbon, Portugal, LNCCS, vol 3273, pp 350\u2013364"},{"issue":"1","key":"122_CR32","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.jss.2008.03.067","volume":"82","author":"M Woodside","year":"2009","unstructured":"Woodside M et\u00a0al (2009) Performance analysis of security aspects by weaving scenarios extracted from UML models. J Syst Softw 82(1): 56\u201374","journal-title":"J Syst Softw"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-010-0122-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-010-0122-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-010-0122-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:45Z","timestamp":1559382465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-010-0122-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,28]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["122"],"URL":"https:\/\/doi.org\/10.1007\/s11334-010-0122-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,28]]}}}