شماره راهنما :
1288 دكتري
پديد آورنده :
صمداني، محمدحسن
عنوان :
ارائه يك روش تطبيق الگوي امن غيرتعاملي قابل‌توسعه مبتني بر الگوريتم كلاسيك Bit-Parallel
گرايش تحصيلي :
مهندسي كامپيوتر
محل تحصيل :
اصفهان : دانشگاه صنعتي اصفهان
صفحه شمار :
ده، [۱۰۷]ص.: مصور، جدول، نمودار
استاد راهنما :
مهدي برنجكوب
استاد مشاور :
مارنيا بلنتون، سلمان نيك‌صفت
توصيفگر ها :
محاسبات چندطرفه امن , محاسبات دوطرفه امن , حريم خصوصي , امنيت , تطبيق الگو , اتوماتاي تطبيق رشته , تطبيق الگوي bit-parallel , برونسپاري
استاد داور :
حسين سعيدي، علي فانيان
تاريخ ورود اطلاعات :
1397/09/20
رشته تحصيلي :
برق و كامپيوتر
دانشكده :
مهندسي برق و كامپيوتر
كد ايرانداك :
ID1288 دكتري
چكيده فارسي :
چكيده در اين رساله مسئله تطبيق الگوي امن با استفاده از ارزيابي اتوماتاهاي تطبيق رشته غيرقطعي را در نظر گرفتيم راهحل ما مبتني بر دستهاي از الگوريتمهاي تطبيق الگوي مبتي بر سختافزار با نام Bit parallel است ويژگيهاي اين دسته از الگوريتمها به ساختارهاي ما اين امكان را مي دهد كه از هر الگوي با طول ثابت به صورت غيرتعاملي و تنها در دو دور تعامل بين طرفين درگير پشتيباني كنند پروتكل امن ارائه شده همچنين قادر است محاسبه فاصله همينگ و تطبيق زيرالگو و زيررشته را براي هر الفبايي انجام دهد اين پروتكل هم براي متن عادي و هم براي كليدواژه و متن زنده قابل بهكارگيري است اين پروتكل اولين پروتكل امن غيرتعاملي است كه قادر است هر عبارت منظم كه الگوي با طول ثابت ايجاد ميكند را به صورت امن ارزيابي كند بدين ترتيب پيچيدهترين الگوها نيز بدون تأثيرگذاري بر پيچيدگي پروتكل قابل ارزيابي هستند امنيت اين پروتكل نيز در برابر دشمن شبهدرستكار به اثبات رسيده است سپس به منظور تقويت امنيت و حفظ كارآمدي نسخهاي از پروتكل ارائه شده كه با شبيهسازي يكطرفه در مقابل دشمن بدكار مقاوم است نسخه امن در مقابل دشمن بدكار نيز غيرتعاملي است و كمترين تعداد دور در مقايسه با ساير پروتكلهاي موجود را دارد به عنوان اثباتي بر توانمندي منطق پايه استفاده شده در ساخت پروتكل پروتكلهاي ديگري نيز براي سناريوهاي ديگر مسئله تطبيق الگوي امن مانند برونسپاري تطبيق الگوي امن ارائه شده است كلمات كليدي محاسبات چندطرفه امن محاسبات دوطرفه امن حريم خصوصي امنيت تطبيق الگو اتوماتاي تطبيق رشته تطبيق الگوي bit parallel برونسپاري
چكيده انگليسي :
Presenting a non interactive extendable protocol for secure pattern matching based on the classic bit parallel algorithm Mohammad Hasan Samadani mh samadani@ec iut ac ir November 14 2018 Department of Electrical and Computer Engineering Isfahan University of Technology Isfahan 84156 83111 Iran Degree Ph D Language FarsiSupervisors Prof Mehdi Berenjkoub brnjkb@cc iut ac ir Prof Mohammad Dakhilalian mdalian@cc iut ac ir Advisers Prof Marina Blanton mblanton@buffalo edu Prof Salman Niksefat niksefat@aut ac ir Abstract We consider the problem of secure pattern matching that uses evaluation of non deterministic stringmatching automata NSMA Our solution is based on a class of hardware based pattern matching algorithmscalled bit parallel pattern matching which simulates the behavior of NSMAs The properties of this class ofalgorithms allow our constructions to handle any fixed length pattern in a non interactive way with only tworounds of communication Our secure protocol is able to handle the Hamming distance computation andsubstring and subpattern matching for any finite alphabet It is also possible to use this protocol for keyword text and live text search Security of our protocol is proved in the semi honest model Then in order tostrengthen security of the solution and retain its efficiency we design a variant of the protocol which is provedto be secure with one sided simulation in the malicious model As a proof of concept we also present anotherprotocol that shows how our basic idea can be extended to other scenarios of pattern matching such as securecomputation outsourcing Keywords Multi party computation two party computation secure computation privacy security pattern matching string matching automata bit parallel pattern matching outsourcing
استاد راهنما :
مهدي برنجكوب
استاد مشاور :
مارنيا بلنتون، سلمان نيك‌صفت
استاد داور :
حسين سعيدي، علي فانيان
