{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T01:13:37Z","timestamp":1652750017956},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"11-12","license":[{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. Telecommun."],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1007\/bf03253324","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T06:33:22Z","timestamp":1625639602000},"page":"1365-1387","source":"Crossref","is-referenced-by-count":2,"title":["Automated verification of a key management architecture for hierarchical group protocols"],"prefix":"10.1007","volume":"62","author":[{"given":"Mohamed Salah","family":"Bouassida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Najah","family":"Chridi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Chrisment","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Festor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Vigneron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03253324_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"17th International Conference on Computer Aided Verification, cav\u20192005, volume 3576 of Lecture Notes in Computer Science","author":"A. Armando","year":"2005","unstructured":"Armando A., Basin D., Boichut Y., Chevalier Y., Compagna L., Cuellar J., Hankes Drielsma P., H\u00e9am P.-C., Mantovani J., M\u00f6dersheim S., Von Oheimb D., Rusinowitch M., Santos Santiago J., Turuani M., Vigano L., Vigneron L., The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In K. Etessami and S. Rajamani, editors, 17th International Conference on Computer Aided Verification, cav\u20192005, volume 3576 of Lecture Notes in Computer Science, pages 281\u2013285, Edinburgh, Scotland, 2005. Springer."},{"key":"BF03253324_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1007\/978-3-540-30227-8_68","volume-title":"9th European Conference on Logics in Artificial Intelligence (JELIA)","author":"A. Armando","year":"2004","unstructured":"Armando A., Compagna L., SATMC: A SAT-based Model Checker for Security Protocols. In 9th European Conference on Logics in Artificial Intelligence (JELIA), volume 3229 of Lecture Notes in Computer Science, pages 730\u2013733. Springer, 2004."},{"issue":"7","key":"BF03253324_CR3","first-page":"473","volume":"30","author":"L. Apvrille","year":"2004","unstructured":"Apvrille L., Courtiat J.P., Lohr C., de Saqui-Sannes P.. Turtle: A Realtime UML Profile Supported by a Formal Validation Toolkit, IEEE Transactions on Software Engineering, 307):473\u2013487, July 2004.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"issue":"17","key":"BF03253324_CR4","first-page":"1627","volume":"23","author":"N. Asokan","year":"2000","unstructured":"Asokan N., Ginzboorg P., Key Agreement in ad hoc Networks, Computer Communications, 2317): 1627\u20131637, 2000.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"issue":"4","key":"BF03253324_CR5","first-page":"628","volume":"18","author":"G. Ateniese","year":"2000","unstructured":"Ateniese G., Steiner M., Tsudik G.. New Multiparty Authentication Services and Key Agreement Protocols, IEEE Journal on Selected Areas in Communications, 184):628\u2013639, 2000.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"issue":"3","key":"BF03253324_CR6","first-page":"181","volume":"4","author":"D. Basin","year":"2005","unstructured":"Basin D., M\u00f6dersheim S., Vigano L., OFMC: A Symbolic Model Checker for Security Protocols, International Journal of Information Security, 43): 181\u2013208, 2005.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR7","first-page":"1","volume-title":"Int. Workshop on Automated Verification of Infinite-State Systems (AVIS), joint to ETAPS\u201904","author":"Y. Boichut","year":"2004","unstructured":"Boichut Y., Heam P.-C., Kouchnarenko O., Oehl E., Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols. In Int. Workshop on Automated Verification of Infinite-State Systems (AVIS), joint to ETAPS\u201904, pages 1\u201311, Barcelona, Spain, 2004. The final version will be published in EN in Theoretical Computer Science, Elsevier."},{"key":"BF03253324_CR8","first-page":"531","volume-title":"CFIP 2005, Herm\u00e8s Lavoisier","author":"M. S. Bouassida","year":"2005","unstructured":"Bouassida M. S., Chrisment I., Festor O., BALADE: Diffusion multicast s\u00e9curis\u00e9e d\u2019un flux multim\u00e9dia multi-sources s\u00e9quentielles dans un environnement ad hoc. In R. Castanet, editor, CFIP 2005, Herm\u00e8s Lavoisier, pages 531\u2013546, Bordeaux, France, Mars 2005."},{"key":"BF03253324_CR9","volume-title":"Diffusion multicast s\u00e9curis\u00e9e dans un environnement ad-hoc (1 vers n s\u00e9quentiel). Rapport de recherche 5310, INRIA","author":"M. S. Bouassida","year":"2004","unstructured":"Bouassida M. S., Chrisment I., Festor O., Diffusion multicast s\u00e9curis\u00e9e dans un environnement ad-hoc (1 vers n s\u00e9quentiel). Rapport de recherche 5310, INRIA, Septembre 2004."},{"issue":"17","key":"BF03253324_CR10","first-page":"1730","volume":"27","author":"E. Bresson","year":"2004","unstructured":"Bresson E., Chevassut O., Essiari A., Pointcheval D., Mutual Authentication and Group Key Agreement for Low-power Mobile Devices. Journal of Computer Communications, 2717):1730\u20131737, July 2004. Special Issue on Security and Performance in Wireless and Mobile Networks. Elsevier Science.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR11","volume-title":"Workshop on Specification and Automated Processing of Security Requirements (saps)","author":"Y. Chevalier","year":"2004","unstructured":"Chevalier Y., Compagna L., Cuellar J., Drielsma P-H., Mantovani J., M\u00f6dersheim S., Vigneron L., A High Level Protocol Specification Language for Industrial Security-sensitive Protocols. In Workshop on Specification and Automated Processing of Security Requirements (saps), Linz, Austria. 2004."},{"key":"BF03253324_CR12","volume-title":"A Survey of Authentication Protocol Literature. Technical Report 1.0","author":"J. A. Clark","year":"1997","unstructured":"Clark J. A., Jacob J. L., A Survey of Authentication Protocol Literature. Technical Report 1.0, 1997."},{"key":"BF03253324_CR13","first-page":"34","volume-title":"3d International Workshop on Formal Aspects in Security and Trust","author":"R. Delicata","year":"2005","unstructured":"Delicata R., Schneider S., A Formal Approach for Reasoning about a Class of Diffie-Hellman Protocols. In 3d International Workshop on Formal Aspects in Security and Trust, pages 34\u201336, 2005."},{"key":"BF03253324_CR14","series-title":"Electr. Notes Theor. Comput. Sci.","volume-title":"Modeling Group Communication Protocols using Multiset Term Rewriting","author":"G. Denker","year":"2002","unstructured":"Denker G., Millen J., Modeling Group Communication Protocols using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci., volume 71. 2002."},{"issue":"6","key":"BF03253324_CR15","first-page":"644","volume":"22","author":"W. Diffie","year":"1976","unstructured":"Diffie W., Hellman M.E., New Directions in Cryptography, IEEE Transactions on Information Theory, 226):644\u2013654, 1976.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR16","volume-title":"Computer Communicatin Journal, number 23","author":"L. Dondeti","year":"1999","unstructured":"Dondeti L., Mukherjee S., Samal A., Scalable Secure One-to-many Group Communication using Dual Encryption. In Computer Communicatin Journal, number 23, November 1999."},{"key":"BF03253324_CR17","volume-title":"IEEE Infocom Poster","author":"H. Hassan","year":"2005","unstructured":"Hassan H., Bouabdallah A., Bettahar H., Challal Y., HI-KD: Hash-Based Hierarchical Key Distribution for Group Communication, IEEE Infocom Poster, 2005."},{"issue":"5","key":"BF03253324_CR18","first-page":"714","volume":"28","author":"I. Ingemarson","year":"1982","unstructured":"Ingemarson I., Tang D., Wong C., A Conference Key Distribution System. In IEEE transactions on information theory, 285), 1982, 714\u2013720. September 1982.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR19","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/352600.352638","volume-title":"CCS \u201900: Proceedings of the 7th ACM conference on Computer and communications security","author":"Y. Kim","year":"2000","unstructured":"Kim Y., Perrig A., Tsudik G., Simple and Fault-tolerant Key Agreement for Dynamic Collaborative Groups. In CCS \u201900: Proceedings of the 7th ACM conference on Computer and communications security, pages 235\u2013244, New York, NY, USA, 2000. ACM Press."},{"key":"BF03253324_CR20","first-page":"87","volume-title":"the First Workshop on Issues in the Theory of Security","author":"C. Meadows","year":"2000","unstructured":"Meadows C., Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-level Cryptographic Primitives. In P. Degano, editor, the First Workshop on Issues in the Theory of Security, pages 87\u201392, Geneva, Switzerland, July 2000."},{"key":"BF03253324_CR21","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/263105.263179","volume-title":"sigcomm","author":"S. Mittra","year":"1997","unstructured":"Mittra S., Iolus: A Framework for Scalable Secure Multicasting. In sigcomm, pages 277\u2013288, 1997."},{"key":"BF03253324_CR22","volume-title":"Key Establishement in Large Dynamic Groups using One-way Functions Trees","author":"D. McGrew","year":"1998","unstructured":"McGrew D., Sherman A., Key Establishement in Large Dynamic Groups using One-way Functions Trees, May 1998."},{"key":"BF03253324_CR23","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/501983.502016","volume-title":"CCS \u201901: Proceedings of the 8th ACM conference on Computer and Communications Security","author":"C. Meadows","year":"2001","unstructured":"Meadows C., Syverson P., Formalizing GDOI Group Key Management Requirements in NPATRL. In CCS \u201901: Proceedings of the 8th ACM conference on Computer and Communications Security, pages 235\u2013244, New York, USA, 2001. ACM Press."},{"key":"BF03253324_CR24","volume-title":"Cryptology ePrint Archive, Report 2004\/251","author":"J. Nam","year":"2004","unstructured":"Nam J., Kim S., Won D., Attacks on Bresson-Chevassut-Essiari-Pointcheval\u2019s Group Key Agreement Scheme for Low-power Mobile Devices. Cryptology ePrint Archive, Report 2004\/251, 2004."},{"issue":"4","key":"BF03253324_CR25","first-page":"555","volume":"11","author":"O. Pereira","year":"2003","unstructured":"Pereira O., Quisquater J.-J., Some Attacks upon Authenticated Group Key Agreement Protocols. Journal of Computer Security, 114):555\u2013580, 2003.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR26","first-page":"16","volume-title":"CSFW","author":"O. Pereira","year":"2004","unstructured":"Pereira O., Quisquater J.-J., Generic Insecurity of Cliques-type Authenticated Group Key Agreement Protocols. In CSFW, pages 16\u201319, 2004."},{"key":"BF03253324_CR27","first-page":"125","volume-title":"Proceedings of the ARSPA Workshop, volume 125 of ENTCS","author":"G. Steel","year":"2004","unstructured":"Steel G., Bundy A.. Attacking Group Multicast Key Management Protocols using coral. In A. Armando and L. Vigano, editors, Proceedings of the ARSPA Workshop, volume 125 of ENTCS, pages 125\u2013144, 2004."},{"key":"BF03253324_CR28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-25984-8_8","volume-title":"Proceedings of the International Joint Conference on Automated Reasoning","author":"G. Steel","year":"2004","unstructured":"Steel G., Bundy A., Maidl M., Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. In D. Basin and M. Rusinowitch, editors, Proceedings of the International Joint Conference on Automated Reasoning, volume 3097 of LNAI, pages 137\u2013151, Cork, Ireland, July 2004. Springer."},{"key":"BF03253324_CR29","first-page":"380","volume-title":"18th International Conference on Distributed Computing Systems","author":"M. Steiner","year":"1998","unstructured":"Steiner M., Tsudik G., Waidner M.. Cliques: A New Approach to Group Key Agreement. In 18th International Conference on Distributed Computing Systems, pages 380\u2013387. 1998. IEEE Computer Society Press."},{"key":"BF03253324_CR30","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-39979-7_16","volume-title":"23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)","author":"M. Taghdiri","year":"2003","unstructured":"Taghdiri M., Jackson D.. A Lightweight Formal Analysis of a Multicast Key Management Scheme. In 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pages 240\u2013256. 2003."},{"key":"BF03253324_CR31","first-page":"415","volume":"21","author":"G. Tsudik","year":"2005","unstructured":"Tsudik G., Rhee K., Park Y.. A Group Key Management Architecture for Mobile Ad Hoc Wireless Networks. Journal of Information Science and Enfineering, 21:415\u2013428, 2005.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253324_CR32","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/ICOIN.2001.905598","volume-title":"15th International Conference on Information Networking","author":"S. Tanaka","year":"2001","unstructured":"Tanaka S., Sato F., A Key Distribution and Rekeying Framework with Totally Ordered Multicast Protocols. In 15th International Conference on Information Networking, page 831. 2001."},{"key":"BF03253324_CR33","first-page":"277","volume-title":"17th International Conference on Term Rewriting and Applications (RTA), volume 4098 of Lecture notes in Computer Science","author":"M. Turuani","year":"2006","unstructured":"Turuani M., The CL-Atse Protocol Analyser. In F. Pfenning, editor, 17th International Conference on Term Rewriting and Applications (RTA), volume 4098 of Lecture notes in Computer Science, pages 277\u2013286. Springer, August 2006."},{"key":"BF03253324_CR34","first-page":"68","volume-title":"ACM SIGCOMM","author":"C. Wong","year":"1998","unstructured":"Wong C., Gouda M., Lam S., Secure Group Communications using Key Graphs. In ACM SIGCOMM, pages 68\u201379, 1998."}],"container-title":["Annales Des T\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03253324.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03253324\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03253324.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:31:56Z","timestamp":1652747516000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03253324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":34,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["BF03253324"],"URL":"https:\/\/doi.org\/10.1007\/bf03253324","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}