مجید بیات - دانشکده علوم ریاضی و کامپیوتر، دانشگاه خوارزمی(تربیت معلم)، تهران، ایران- پژوهشکده پردازش هوشمند علایم، تهران، ایران
محمد سبزی نژاد - دانشکده علوم ریاضی و کامپیوتر، دانشگاه خوارزمی(تربیت معلم)، تهران، ایران- پژوهشکده پردازش هوشمند علایم، تهران، ایران
محمدرضا عارف - دانشکده مهندسی ، دانشگاه صنعتی شریف، تهران، ایران

پروتکل های تبادل کلید مبتنی بر مشخصه یک نوع جدید ازپروتکل های تبادل کلید مبتنی بر شناسه هستند که شناسه کاربرانمجموعه ای از مشخصه های قابل توصیف می باشند. فوجیوکا و همکارانش یک پروتکل تبادل کلید مبتنی بر مشخصه ارایه کردند کهدر برابر افشای کلیدهای خصوصی کوتاه مدت مقاوم است. در این مقاله نشان می دهیم که این پروتکل در برابر حمله جعل KCIآسیب پذیراست و یک پروتکل تبادل کلید مبتنی بر مشخصه امن ارایه و امنیت آن را در مدل سروش تصادفی اثبات می کنیم.

پروتکل های تبادل کلید، رمزنگاری مبتنی بر شناسه، رمزنگاری مبتنی بر مشخصه، امنیت قابل اثبات