-
شماره ركورد
11904
-
شماره راهنما(اين فيلد مربوط به كارشناس ميباشد لطفا آن را خالي بگذاريد)
11904
-
پديد آورنده
معصومه صفخاني
-
عنوان
تحليل و طراحي پروتكل هاي امنيتي سامانه شناسايي بسامد راديويي
-
مقطع تحصيلي
كارشناسي ارشد
-
رشته تحصيلي
برق
-
سال تحصيل
ارديبهشت ماه 1392
-
تاريخ دفاع
ارديبهشت ماه 1392
-
استاد راهنما
دكتر مجيد نادري
-
استاد مشاور
دكتر حميد بهنام
-
چكيده
چكيده
سامانه شناسايي بسامد راديويي يا (RFID) فناوري نو و جديدي است كه از بسامدهاي راديويي براي شناسايي اشياء استفاده مي نمايد. يكي از مهم ترين نگراني ها در استفاده از فناوري شناسايي بسامد راديويي، امنيت است. حفظ حريم خصوصي، احراز اصالت دو طرفه، عدم امكان رديابي، عدم امكان حملات جعل و مقاومت در برابر ديگر حملات فعال و غير فعال از جمله چالش هايي هستند كه محققان در تلاش براي فراهم كردن آن در حوزه امنيت هستند. تا به امروز، براي حل اين مسائل، پروتكل هاي امنيتي متنوعي در مقالات پيشنهاد شده است، اما، بيشتر اين تلاش ها در برآوردن اهداف امنيتي مورد نظر خود ناموفق بوده اند.
رساله حاضر مشكلات امنيتي موجود در برخي پروتكل هاي شناسايي بسامد راديويي را به تفصيل تحليل و بررسي مي نمايد و رهنمودهايي جهت طراحي پروتكل هاي امن ارائه مي دهد. در تحليل هاي انجام شده، حملات كاراي مختلفي مانند حمله افشاي شناسه، حمله رديابي، حمله جعل برچسب، حمله جعل مجموعه برچسب - برچسب خوان، حمله جعل برچسب خوان و حمله اخلال در هم زماني، به صورت موفق به اين پروتكل ها اعمال شده است كه دو حمله اول خاصيت محرمانگي، سه حمله مياني خاصيت يك پارچگي و حمله آخر خاصيت دسترس پذيري را نقض مي كنند. علاوه بر اين، با بهره گيري از مطالعات انجام شده در بخش تحليل، به منظور بهبود امنيت بيماران و كاهش خطاهاي پزشكي در سامانه هاي سلامت الكترونيكي با زير ساخت شناسايي بسامد راديويي، يك پروتكل كنترل دسترسي به نام تيمار و يك پروتكل اثبات گروهي به نام ناظر كه مبتني بر توابع رمزگذاري متقارن سبك مانند رمز قالبي پرزنت مي باشند، طراحي شده¬اند. در پروتكل كنترل دسترسي طراحي شده نه تنها ساز و كار احراز اصالت، بلكه ساز و كار كنترل دسترسي نيز طراحي شده است كه با استفاده از آن تنها پزشك معالج بيمار، مي تواند به سوابق بيمار دسترسي پيدا نمايد. پروتكل اثبات گروهي طراحي شده نيز تضمين مي نمايد كه مجموعه¬اي از برچسب¬ها (مثلاً برچسب بيمار، برچسب پرستار و برچسب دارو) به صورت هم زمان قرائت شده و اصالت آن¬ها احراز گرديده است. هم چنين، اثبات امنيت پروتكل¬هاي طراحي شده به دو روش غير صوري و روش صوري مبتني بر منطق BAN نشان مي دهد كه سه اصل امنيتي محرمانگي، يك پارچگي و دسترس پذيري در اين دو پروتكل فراهم شده است. پيچيدگي محاسباتي پروتكل هاي تيمار و ناظر، در سمت برچسب، تنها ناشي از انجام عمليات رمزگشايي سبك مانند رمز قالبي پرزنت است. تعداد فراخواني انجام شده به تابع رمز در سمت برچسب ها، در هربار اجراي پروتكل¬هاي تيمار و ناظر به ترتيب برابر 6 و 7 بار مي باشد.
كلمات كليدي: شناسايي بسامد راديويي، احراز اصالت دو طرفه، كنترل دسترسي، اثبات گروهي، حريم خصوصي، رديابي، اخلال در هم زماني، روش صوري، منطق BAN.
-
لينک به اين مدرک :