14155

1288 دكتري

دكتري

مهندسي كامپيوتر

اصفهان : دانشگاه صنعتي اصفهان

1397

ده، [۱۰۷]ص.: مصور، جدول، نمودار

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

مهدي برنجكوب

مارنيا بلنتون، سلمان نيك‌صفت

حسين سعيدي، علي فانيان