آقای خسرو سلمانی دانشجوی کارشناسی ارشد جناب آقای دکتر مصطفی حق جو روز دو شنبه 20/4/90 ساعت 13:30 در اتاق 304 واقع در طبقه سوم دانشکده کامپیوتر ازپروژه کارشناسی ارشد خود تحت عنوان ممیزی تمامیت در سیستم های مدیریت جریان داده برون سپرده با استفاده از محاسبات تقاطعی دفاع خواهند نمود.

 چکیده پایان نامه:

  علی‌رغم آنکه استفاده از خدمات کارگزارهای برون­سپرده جریان داده مورد اقبال زیادی قرار گرفته ولی هنوز مساله کسب اطمینان از جامعیت نتایج دریافتی یکی از چالش‌های اساسی سازمانها است. برای برونسپاری خدمات پردازش جریان داده، کاربر باید از امنیت کانال‌های ارتباطی و همچنین عملکرد درست و امانت‌دارانه مطمئن شود چرا که کارگزار ممکن است به دلایل اقتصادی و یا بدخواهانه جامعیت نتایج را مورد حمله قرار دهد. در این حملات بخشی از پاسخ‌ها برای کاربران ارسال نمی­شود و یا پس از دستکاری یا با تاخیر برای آنها ارسال می‌شود. در این پایان­نامه یک روش کارا برای کشف حملات به جامعیت در سیستم­های جریان داده برون­سپرده بر مبنای ممیزی محاسبات تقاطعی ارائه نموده‌ایم. در این روش جریان داده اصلی با یک کلید رمزنگاری شده و بخش کوچکی از داده­ها به صورت یک جریان داده مستقل با کلید دیگری رمزنگاری شده و برای کارگزار ارسال می‌شوند استفاده از دو کلید رمزنگاری برای این است که کارگزار نتواند داده­های اصلی را از داده­های تکراری تشخیص دهد ولی کاربران از این امر مطلع می­گردند. پرس و جوی کاربر برروی دو جریان داده اجرا می‌شود و کاربر با مقایسه نتایج در رابطه با جامعیت نتایج قضاوت می‌کند. روش ارائه شده سربار بسیار کمی بر کاربر تحمیل نموده و برای اجرای آن نیازی به تغییر ساختار کارگزار نیست. مدلسازی و نتایج ارزیابی نشان می‌دهد که این روش کارایی بسیار بالایی دارد.

  واژه‌های کلیدی: امنیت در جریان داده، جامعیت در جریان داده، برونسپاری سیستم مدیریت جریان داده، محاسبات تقاطعی

 Abstract:

  Despite the fact that using the services of outsourced data stream servers has extremely been welcomed,but still the problem of obtaining certainly about received results from servers is one of the basic challenges in enterprises . For outsourcing these services, user should be assured by a mechanism about the security of communication channels as well as the correct and honest functioning of the server, because the server may attack the integrity of the results due to economic and malicious reasons. In such attacks, some parts of results are not sent to the user or sent after being modified or delayed. In this article, we have come up with an efficient method for detecting integrity attacks in outsourced data steam systems based on auditing the results of cross computation. In this method, the main data stream has been enciphered by a key and a small part of data has been enciphered by a different key, as a dependant data stream, and sent to the server. The requested query is applied on both streams and the user judges the integrity of results by comparing the results. Our method imposes a little overhead on the user and needs no change in the structure of the server. Modeling of the method shows that this it has a high efficiency and the results of the exprimental analysis confirm this very well.

  Keywords: Security in Data Stream, Integrity in Data Stream, Outsourcing Data Stream Management system, Cross Computation 

ارائه­دهنده:

خسرو سلمانی

  اساتید راهنما:

دکتر مصطفی حق جو

  استاد ممتحن داخلی : دکتر محمد عبدالهی ازگمی

  استاد ممتحن خارجی :دکتر مسعود رهگذر

زمان : دوشنبه 20 تیرماه ماه 1390

  ساعت 10 صبح

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق 304

  از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی