{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:14:55Z","timestamp":1725704095923},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344152"},{"type":"electronic","value":"9783642344169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34416-9_6","type":"book-chapter","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T11:16:52Z","timestamp":1350472612000},"page":"77-93","source":"Crossref","is-referenced-by-count":0,"title":["Towards Formal Analysis of Key Control in Group Key Agreement Protocols"],"prefix":"10.1007","author":[{"given":"Anshu","family":"Yadav","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anish","family":"Mathuria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"277","volume":"23","author":"J. Pieprzyk","year":"2004","unstructured":"Pieprzyk, J., Wang, H.: Malleability attacks on multi-party key agreement protocols in dynamic setting. Progress in Computer Science and Applied Logic\u00a023, 277\u2013288 (2004)","journal-title":"Progress in Computer Science and Applied Logic"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1049\/iet-ifs:20060142","volume":"2","author":"G.P. Biswas","year":"2008","unstructured":"Biswas, G.P.: Diffie-hellman technique: extended to multiple two-party keys and one multi-party key. IET Information Security\u00a02(2), 12\u201318 (2008)","journal-title":"IET Information Security"},{"issue":"2","key":"6_CR3","first-page":"247","volume":"21","author":"Y.M. Tseng","year":"2010","unstructured":"Tseng, Y.M., Wu, T.Y.: Analysis and improvement on a contributory group key exchange protocol based on the diffie-hellman technique. Informatica, Lith. Acad. Sci.\u00a021(2), 247\u2013258 (2010)","journal-title":"Informatica, Lith. Acad. Sci."},{"issue":"5","key":"6_CR4","doi-asserted-by":"publisher","first-page":"2007","DOI":"10.1109\/TIT.2008.920224","volume":"54","author":"R. Dutta","year":"2008","unstructured":"Dutta, R., Barua, R.: Provably secure constant round contributory group key agreement in dynamic setting. IEEE Transactions on Information Theory\u00a054(5), 2007\u20132025 (2008)","journal-title":"IEEE Transactions on Information Theory"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0053443","volume-title":"Advances in Cryptology - EUROCRYPT \u201994","author":"M. Burmester","year":"1995","unstructured":"Burmester, M., Desmedt, Y.: A Secure and Efficient Conference Key Distribution System (extended abstract). In: De Santis, A. (ed.) EUROCRYPT 1994. LNCS, vol.\u00a0950, pp. 275\u2013286. Springer, Heidelberg (1995)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/11679219_4","volume-title":"Formal Aspects in Security and Trust","author":"R. Delicata","year":"2006","unstructured":"Delicata, R., Schneider, S.A.: A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2005. LNCS, vol.\u00a03866, pp. 34\u201346. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10207-007-0013-2","volume":"6","author":"R. Delicata","year":"2007","unstructured":"Delicata, R., Schneider, S.: An algebraic approach to the verification of a class of diffie-hellman protocols. Int. J. Inf. Sec.\u00a06(2-3), 183\u2013196 (2007)","journal-title":"Int. J. Inf. Sec."},{"issue":"11","key":"6_CR8","doi-asserted-by":"publisher","first-page":"5887","DOI":"10.1109\/TIT.2010.2070590","volume":"56","author":"C.H. Tan","year":"2010","unstructured":"Tan, C.H., Yang, G.: Comments on \u201dprovably secure constant round contributory group key agreement in dynamic setting\u201d. IEEE Transactions on Information Theory\u00a056(11), 5887\u20135888 (2010)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"11","key":"6_CR9","doi-asserted-by":"publisher","first-page":"3348","DOI":"10.1093\/ietfec\/e89-a.11.3348","volume":"89-A","author":"J.C.M. Teo","year":"2006","unstructured":"Teo, J.C.M., Tan, C.H., Ng, J.M.: Security analysis of provably secure constant round dynamic group key agreement. IEICE Transactions\u00a089-A(11), 3348\u20133350 (2006)","journal-title":"IEICE Transactions"},{"issue":"2","key":"6_CR10","first-page":"751","volume":"6","author":"J. Nam","year":"2012","unstructured":"Nam, J., Kim, M., Paik, J., Won, D.: Security weaknesses in harn-lin and dutta-barua protocols for group key establishment. TIIS\u00a06(2), 751\u2013765 (2012)","journal-title":"TIIS"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Pereira, O.: Modeling and Security Analysis of Authenticated Group Key Agreement Protocols. PhD thesis, Catholic University of Leuven (May 2003)","DOI":"10.3233\/JCS-2003-11404"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Pereira, O., Quisquater, J.J.: A security analysis of the cliques protocols suites. In: CSFW, pp. 73\u201381. IEEE Computer Society (2001)","DOI":"10.1007\/0-306-46998-7_11"}],"container-title":["Lecture Notes in Computer Science","Security, Privacy, and Applied Cryptography Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34416-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T02:15:15Z","timestamp":1557281715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34416-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344152","9783642344169"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34416-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}