شماره ركورد كنفرانس :
4380
عنوان مقاله :
اثبات ناتراواي دانش
پديدآورندگان :
كابلي رضا Rezakaboli69@yahoo.com دانشگاه صنعتي شريف , دقيق حسن hassan@kashanu.ac.ir دانشگاه كاشان
كليدواژه :
اثبات تعاملي , اثبات تعاملي ناتراوا , اثبات ناتراواي دانش , اثبات عضويت , اثبات دانش , سيگما پروتكل
عنوان كنفرانس :
دومين كنفرانس جبر محاسباتي، نظريه محاسباتي اعداد و كاربردها
چكيده فارسي :
اثبات‌هاي ناتراواي يكي از ابزار مهم رمزنگاري مدرن هستند و در طراحي بسياري از پروتكل‌هاي رمزنگاري به كار مي‌روند. در بخش اول اين مقاله سعي مي‌كنيم با ارايه مثال‌هاي مناسب، انگيزه‌ها و اهداف و قابليت‌هاي اين حوزه را روشن سازيم. بخش دوم اين مقاله نيز به بررسي پروتكل سيگما اختصاص خواهد داشت. به بيان غيررسمي، يك پروتكل سيگما يك اثبات ناتراوا با دقيقا سه تعامل بين اثبات‌كننده و تاييدكننده است. مفهوم پروتكل سيگما يك مدل بسيار مناسب براي اثبات دانش مي‌باشد؛ همچنين اين مفهوم بسيار انعطاف‌پذير بوده و از آزادي عمل بيشتري نسبت به يك اثبات تعاملي ساده برخوردار هستيم.
