رویکردی بر پروتکل تمییزناپذیری تحت حمله متن‌اصلی منتخب با توسیع شناختی منطق وکاشیویچ
|
|
|
|
|
DOR
|
20.1001.2.9920026053.1399.1.1.3.2
|
|
نویسنده
|
دستغیب درة‌السادات ,فراهانی هادی
|
|
منبع
|
دومين كنفرانس ملي انفورماتيك ايران - 1399 - دوره : 2 - کنفرانس ملی انفورماتیک ایران - کد همایش: 99200-26053
|
|
چکیده
|
در این مقاله یک توسیع شناختی از منطق فازی وکاشیویچ پیشنهاد و برای زبان متناظر با آن یک دستگاه منطقی ارائه می‌شود. سپس صحت و تمامیت دستگاه منطقی نشان داده می‌شود. با کمک زبان منطق پیشنهاد شده یک روش مدل کردن پروتکل تمییزناپذیری تحت حمله متن‌اصلی منتخب برای یک طرح رمزگذاری پیشنهاد و چگونگی استدلال در مورد باور یک متخاصم توضیح داده می‌شود. به نظر می‌رسد که با این روش پیشنهادی بتوان ساده‌تر از پیش تمییزناپذیری طرح‌های رمزگذاری تحت حمله متن‌اصلی منتخب را اثبات کرد.
|
|
کلیدواژه
|
منطق وکاشیویچ ,شناختی ,حمله متن‌اصلی منتخب
|
|
آدرس
|
دانشگاه شهید بهشتی, ایران, دانشگاه شهید بهشتی, ایران
|
|
پست الکترونیکی
|
h_farahani@sbu.ac.ir
|
|
|
|
|
|
|