3-MAC-to-Seaview.pptx

‫‪MCI‬‬
‫مدلهای کنترل دسترس ی اجباری )‪(MAC‬‬
‫رسول جلیلی‬
‫‪[email protected]‬‬
‫‪1‬‬
‫ضعف کنترل دسترس ی اختیاری‬
‫‪MCI‬‬
‫• عدم امکان کنترل انتشار اطالعات توسط عاملهای دیگر‬
‫– علی صاحب فایل ‪ ،A‬اجازه خواندن را به حسن می دهد‬
‫– حسن فایل ‪ A‬را می خواند و در فایل ‪ B‬می نویسد‬
‫– علی دیگرهیچ کنترلی روی ‪( B‬حاوی اطالعات ‪ )A‬ندارد‪.‬‬
‫• عدم امکان کنترل جریان اطالعات ازیک شیئ به شیئ دیگر‬
‫خواندن‬
‫• با فرض معتمد بودن عامل ها‬
‫– به نرم افزارها نمی توان اعتماد کرد‬
‫‪o1‬‬
‫سری‬
‫جریان اطالعات‬
‫محرمانه‬
‫– احتمال وجود اسب تروا )‪(Trojan Horse‬‬
‫‪o‬‬
‫‪2‬‬
‫‪2‬‬
‫‪s‬‬
‫فوق سری‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫خواندن‬
‫عادی‬
‫ضعف کنترل دسترس ی اختیاری‬
‫احتمال وجود اسب تروا )‪(Trojan Horse‬‬
‫‪3‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫کنترل دسترس ی اجباری‬
‫• کنترل دسترس ی عامل ها به اشیاء براساس سطوح امنیتی آنها و قواعد ثابت‬
‫• مدل های حفظ محرمانگی‬
‫– مدل ‪BLP‬‬
‫• مدل های حفظ صحت‬
‫– مدل ‪Biba‬‬
‫• مدل های خاص پایگاه داده ها‬
‫– مدل ‪Sea-View‬‬
‫– مدل ‪Jajodia & Sandhu‬‬
‫– مدل ‪Smith & Winslett‬‬
‫‪4‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫‪MCI‬‬
‫مدل حفظ محرمانگی ‪BLP‬‬
‫‪5‬‬
‫مدل ‪BLP‬‬
‫• ارائه شده به وسيلة ‪ Bell‬و ‪ Lapadula‬درسال ‪1976‬‬
‫• توسعهيافتة مدل ماتريس دسترس ي براي حفظ امنیت چند سطحی‬
‫• مناسب برای محیط های نظامی‬
‫• عامل ها و اشیاء دارای سطح امنیتی (سطح محرمانگي)‬
‫• هرسطح امنيتي با دو جزء مشخص ميگردد )‪:L=(C, S‬‬
‫– ‪ :C‬رده (‪)classification‬‬
‫– ‪ :S‬حیطه(‪)category‬‬
‫حیطه‪ ،‬معرف سازمان يا كاربرد است (مانند ناتو‪ ،‬هستهاي)‪.‬‬
‫‪6‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪2- BLP‬‬
‫‪MCI‬‬
‫• مبتني برمفهوم عامل ‪ /‬ش ئ است‪:‬‬
‫– عاملها‪ ،‬اجزاي فعال بوده و عمليات را اجرا ميكنند‪.‬‬
‫– اشياء‪ ،‬اجزاي غيرفعال بوده و داراي اطالعات هستند‪.‬‬
‫• حاالت دسترس ي‪:‬‬
‫– فقط خواندن (يا خواندن) = ‪R‬‬
‫– الحاق (نوشتن بدون خواندن) = ‪A‬‬
‫– اجرا (اجراي يك ش ئ يا برنامه) = ‪E‬‬
‫– نوشتن ‪ -‬خواندن (يا نوشتن) = ‪W‬‬
‫‪7‬‬
‫‪-‬‬
‫‪+‬‬
‫‪Observe‬‬
‫‪Modify‬‬
‫‪A‬‬
‫‪W‬‬
‫‪+‬‬
‫‪E‬‬
‫‪R‬‬
‫‪-‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪3- BLP‬‬
‫• سطوح ردهبندي عاملها (يا برنامهها) و اشياء (يا منابع)‪:‬‬
‫• خيلي سري يا ‪( TS‬مخفف ‪)Top Secret‬‬
‫• سري يا ‪( S‬مخفف ‪)Secret‬‬
‫• محرمانه يا ‪( C‬مخفف ‪)Confidential‬‬
‫• بدون رده يا ‪( U‬مخفف ‪)Unclassified‬‬
‫• رابطه تفوق (‪ :)dominance‬مقایسه دو سططح امنيتطي (‪ L1 = (C1, S1‬و ( = ‪L2‬‬
‫‪(C2, S2‬‬
‫‪L1  L2  C1  C2  S1  S2‬‬
‫• سطوح امنيتی براسطاس رابططه ترتيطب جزتطي تفطوق )≥( تشطييل يطک شطبيه (‪)Lattice‬‬
‫مي دهند‪.‬‬
‫• اگرهیچ یک ازدو رابطه زیربرقرارنبود‪ ،‬دو سطح را غيرقابل مقایسه می نامیم‪L1  :‬‬
‫‪ L2‬و یا ‪L1 ≤ L2‬‬
‫‪8‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪4- BLP‬‬
‫حالت سيستم به كمك ‪4‬تايي (‪ )b, M, f, H‬بيان ميشود كه‪:‬‬
‫• ‪ :b‬مجموعة حالتهاي دسترس ي فعلي (‪)s, o, m‬‬
‫• ‪ :M‬م ططاتريس دسترس ط ي ]‪ ، M[s,o‬مانن ططد م ططدل م ططاتريس دسترس ط ي بی ططانگرمجموع ططه ح ططاالت‬
‫مجاز‬
‫• ‪ :f‬ت ططابع تعي ططين س طططح ك ططه ب ططه ه ططرعام ططل و ش ط ئ سيس ططتم‪ ،‬ي ططك س طططح امنيت ططي متن ططا رم طيكن ططد‪.‬‬
‫‪f: O  S  L‬‬
‫‪ :fs‬سطح امنیتی اصلی عامل ‪ :fc‬سطح امنیتی فعلی عامل ‪ :fo‬سطح امنیتی شیئ‬
‫• ‪ :H‬سلسلهمراتب فعلي اشياء‬
‫‪9‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اعمال مدل ‪1- BLP‬‬
‫‪MCI‬‬
‫• وضعیت سیستم با اجرای اعمال تغیيرمی کند‪.‬‬
‫– بطا اجطرای یطک عمطل بطروی حالطت )‪ (b, M, f, H‬یطک گط ربطه حالطت )’‪ (b’, M’, f’, H‬بوجطود مطی آیطد کطه حطداقل‬
‫دریک جزء با حالت مبدا متفاوت است‪.‬‬
‫• انواع اعمال مختلف‪:‬‬
‫– تغیيربروی ‪:b‬‬
‫• ‪ :Get Access‬برای مقداردهی اولیه به یک شیئ درحالت دسترس ی درخواست شده‬
‫• ‪ :Release Access‬برای اختتام دسترس ی داده شده توسط ‪get‬‬
‫– تغیيرروی ‪:M‬‬
‫• ‪ :Give Access‬برای اعطای یک حالت دسترس ی بروی یک شیئ به یک عامل‬
‫• ‪ :Rescind Access‬بطرای بطاز س گيطری یطک حالطت دسترسط ی ازیطک عامطل بطروی یطک شطیئ (بطاز س گيطری حالطت‬
‫دسترس ی داده شده به عامل توسط ‪)Give‬‬
‫‪10‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫اعمال مدل ‪2- BLP‬‬
‫‪MCI‬‬
‫• انواع اعمال مختلف‪:‬‬
‫– تغیيربروی ‪:H‬‬
‫• ‪ :Create Object‬برای اضافه کردن اشیای غيرفعال به سلسله مراتب اشیاء‬
‫– برای یک شیئ دو حالت می تواند وجود داشته باشد‪:‬‬
‫» شیئ وجود دارد ولی غيرفعال است‪ .‬درنتیجه بعض ی دسترس ی ها روی آن ممين نیست‬
‫» شیئ وجود دارد و فعال است‪ .‬درنتیجه درسلسله مراتب اشیاء وجود دارد و قابل دسترس ی است‪.‬‬
‫• ‪ :Delete Object‬برای غيرفعال کردن شیئ فعال است‪ .‬عيس عمل ‪ Create‬است‪.‬‬
‫– تغیيرروی ‪:M‬‬
‫• ‪ :Change subject security level‬برای تغیيرسطح امنیتی جاری ‪ f‬یک عامل‪.‬‬
‫– اجرای این عمل‪ ،‬در‪ ،f‬سطح امنیتی جدید را به عامل مربوطه‪ ،‬مرتبط می کند‪.‬‬
‫• ‪ :Change object security level‬برای تغیيرسطح امنیتی یک شیئ‪.‬‬
‫– این عمل تنها می تواند بروی اشیای غير فعال اجرا گردد و سطح جدید امنیتی را به شیئ مربوطه در‪ f‬مرتبط می کند‪.‬‬
‫‪11‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫قواعد مدل ‪1- BLP‬‬
‫‪MCI‬‬
‫(‪ )1‬قاعدة سادة امنيتي (‪:)SS‬‬
‫ي ططك عام ططل‪ ،‬مج ططوز مش ططاهده (خوان ططدن ‪ R‬ي ططا نوش ططتن ‪ )W‬ي ططك ش ط ئ را دارد فق ططط اگ ططر‬
‫سطح امنيتي اصلی عامل‪ ،‬بزرگتريا مساوي سطح امنيتي ش ئ باشد‪.‬‬
‫)‪< s, o, r/w >  b  fs(s)  fo(o‬‬
‫‪s‬‬
‫فوق سری‬
‫سری‬
‫محرمانه‬
‫‪o‬‬
‫‪12‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عادی‬
‫قواعد مدل ‪2- BLP‬‬
‫‪MCI‬‬
‫(‪ )2‬قاعدة ستاره (*)‪:‬‬
‫يك عامل‪ ،‬اگرامکان مشاهده شیئ ‪ o1‬و تغیيرشیئ ‪ o2‬را داشته باشد‪ ،‬آنگاه باید‪:‬‬
‫)‪fo(o2)  fo(o1‬‬
‫مثال نقض‪:‬‬
‫‪o‬‬
‫مشاهده‬
‫‪s‬‬
‫‪1‬‬
‫جریان اطالعات‬
‫فوق سری‬
‫سری‬
‫محرمانه‬
‫‪o‬‬
‫‪2‬‬
‫‪13‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عادی‬
‫قواعد مدل ‪3- BLP‬‬
‫(‪ )2‬ادامة قاعدة ستاره (*)‪:‬‬
‫– ي ططك عام ططل‪ ،‬مج ططوز الح ططاق (‪ )A‬ي ططك ش ط ئ را دارد فق ططط اگ ططرس طططح امنيت ططي فعل ططی عام ططل‪،‬‬
‫كوچكتر يا مساوي سطح امنيتي ش ئ باشد‪fc(s)  fo(o) .‬‬
‫– يططك عامططل‪ ،‬مجططوز نوشططتن (‪ )W‬يططك ش ط ئ را دارد فقططط اگططرسطططح امنيتططي فعلططی عامططل‪،‬‬
‫مساوي سطح امنيتي ش ئ باشد‪fc(s) = fo(o).‬‬
‫– يططك عامططل‪ ،‬مجططوز خوانططدن )‪ (R‬يططك شط ئ را دارد فقططط اگططرسطططح امنيتططي فعلططی عامططل‪،‬‬
‫بزرگتر يا مساوي سطح امنيتي ش ئ باشد‪fc(s)  fo(o).‬‬
‫‪14‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫قواعد مدل ‪4- BLP‬‬
‫(‪ )3‬قاعدة آرامش(‪:)Tranquility principle‬‬
‫ه ططیچ ع ططاملی نم ططی توان ططد رده )‪ (classification‬ی ططک ش ططیئ را تغیي ططرده ططد‬
‫(هرچند این قاعده درنسخه های بعدی ح ف گردید‪).‬‬
‫(‪ )4‬قاعدة کنترل دسترس ی اختیاری (‪:)DS‬‬
‫هردسترس ی فعلی‪ ،‬بايد طبق ماتريس دسترس ي‪ ،‬مجاز باشد‪.‬‬
‫]‪< s, o, m >  b  m  M[s, o‬‬
‫‪15‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫خالصه ای ازمدل ‪BLP‬‬
‫به طور خالصه و ساده‪:‬‬
‫– عامل ازاشياي با سطوح امنيتي پايينتر يا مساوي خود‪ ،‬ميخواند(مشاهده)‪.‬‬
‫‪No Read Up‬‬
‫– عامل دراشياي با سطوح امنيتي باالتر يا مساوي خود‪ ،‬مينويسد (تغیير)‪.‬‬
‫‪No Write Down‬‬
‫‪16‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫‪MCI‬‬
‫مدل حفظ صحت ‪Biba‬‬
‫‪17‬‬
‫مدل ‪Biba‬‬
‫ً‬
‫• مدل ‪ :BLP‬صرفا حفظ محرمانگی‬
‫• نیازبه حفظ صحت داده ها درمقابل تغیيرات غيرمجاز‬
‫• مدل ارائه شده توسط ‪ Biba‬درسال ‪1977‬‬
‫• مبانی مدل ‪ Biba‬مشابه مدل ‪ BLP‬است‪.‬‬
‫‪18‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪2- Biba‬‬
‫• عامل ها و اشیاء دارای سطح صحت‬
‫• هرسطح صحت با دو جزء مشخص ميگردد )‪:L=(C, S‬‬
‫– ‪ :C‬رده (‪)classification‬‬
‫– ‪ :S‬رسته (‪)category‬‬
‫رسته‪ ،‬معرف سازمان يا كاربرد است (مانند ناتو‪ ،‬هستهاي)‬
‫• سطح صحت عامل‪ :‬ميزان اعتماد به فرد (عامطل) درعطدم تغييطرناصطحيح داده هطاي يطك‬
‫شیئ‬
‫• سطططح صططحت شططیئ‪ :‬ميططزان اعتمططاد بططه داده هططاي يططك شططیئ و ميططزان خسططارت ناشط ي ازتغييططر‬
‫غيرمجازدرداده هاي آن‬
‫‪19‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪3-Biba‬‬
‫• سطوح ردهبندي صحت عاملها (يا برنامهها) و اشياء (يا منابع)‪:‬‬
‫• حياتي يا ‪( C‬مخفف ‪)Crucial‬‬
‫• خيلي مهم يا ‪( VI‬مخفف ‪)Very Important‬‬
‫• مهم يا ‪( I‬مخفف ‪)Important‬‬
‫• رابططه تفطوق (‪ :)dominance‬مقایسطه دو سططح صطحت (‪ L1 = (C1, S1‬و ( ‪L2‬‬
‫‪= (C2, S2‬‬
‫‪L1  L2  C1  C2  S1  S2‬‬
‫• سطوح امنيتی براسطاس رابططه ترتيطب جزتطي تفطوق )≥( تشطييل يطک شطبيه (‪)Lattice‬‬
‫مي دهند‪.‬‬
‫• اگرهیچ یک ازدو رابطه زیربرقرارنبود‪ ،‬دو سطح را غيرقابل مقایسه می نامیم‪L1  :‬‬
‫‪ L2‬و یا ‪L1 ≤ L2‬‬
‫‪20‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪4- Biba‬‬
‫• مبتني برمفهوم عامل ‪ /‬ش ئ است‪:‬‬
‫– عاملها‪ ،‬اجزاي فعال بوده و عمليات را اجرا ميكنند‪.‬‬
‫– اشياء‪ ،‬اجزاي غيرفعال بوده و داراي اطالعات هستند‪.‬‬
‫• حاالت دسترس ي‪:‬‬
‫– تغيير(‪ :)Modify‬نوشتن داده ها دريك شیئ‬
‫– ارتباط (‪ :)Invoke‬ارتباط يك عامل با عامل ديگر‬
‫– مشاهده (‪ :)Observe‬خواندن داده هاي يك شیئ‬
‫‪21‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪1- Biba‬‬
‫•‬
‫•‬
‫مدل شامل تعدادي خط مش ي‬
‫‪.1‬‬
‫خط مش ي آب نشان پايين براي عامل ها (‪)Low Watermark Policy for Subjects‬‬
‫‪.2‬‬
‫خط مش ي آب نشان پايين براي اشياء (‪)Low Watermark Policy for Objects‬‬
‫‪.3‬‬
‫خط مش ي آب نشان پايين بازنگری صحت)‪(Low Watermark integrity audit Policy‬‬
‫‪.4‬‬
‫خط مش ی حلقه)‪(Ring Policy‬‬
‫‪.5‬‬
‫خط مش ي حفظ صحت سختگيرانه (‪)Strict Integrity Policy‬‬
‫هرخط مش ي شامل تعدادي اصول موضوعه‬
‫‪22‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪2- Biba‬‬
‫(‪ )1‬خط مش ي نشان آب پايين براي عامل ها (‪ 1‬از‪)3‬‬
‫– تغيير‪ :‬يك عامل‪ ،‬مجوز تغيير يك ش ئ را دارد فقط اگطرسططح صطحت عامطل‪ ،‬بزرگتطر‬
‫يا مساوي سطح صحت ش ئ باشد‪I(s)  I(o) .‬‬
‫‪s‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪o‬‬
‫‪23‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عادی‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪3- Biba‬‬
‫(‪ )1‬خط مش ي نشان آب پايين براي عامل ها (‪ 2‬از‪)3‬‬
‫– اجططرا‪ :‬يططك عامططل‪ ،‬مجططوز اجططرا (فراخططوانی) يططك عامططل ديگططر را دارد فقططط اگططرسطططح‬
‫صطحت عامطل اول بزرگتطريطا مسطاوي سططح صطحت عامطل دوم باشطد‪I(s1)  .‬‬
‫)‪I(s2‬‬
‫‪s1‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪s2‬‬
‫عادی‬
‫‪24‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪4- Biba‬‬
‫(‪ )1‬خط مش ي آب نشان پايين براي عامل ها (‪ 3‬از‪)3‬‬
‫– مش ط ططاهده‪ :‬ي ط ططك عام ط ططل‪ ،‬مج ط ططوز مش ط ططاهده هرش ط ططيشي را دارد ب ط ططه ش ط ططرط آنك ط ططه ط ططس از‬
‫مش ططاهده‪ ،‬س طططح عام ططل ب ططه بزرگت ططرين س طططح پ ططائين (‪ )GLB‬س طططوح عام ططل و ش ططیئ‬
‫تقليل يابد‪Inew(s) = GLB [ Iold(s), I(o) ] .‬‬
‫‪s‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪o‬‬
‫‪25‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عادی‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪5- Biba‬‬
‫(‪ )2‬خط مش ي آب نشان پايين براي اشياء (‪ 1‬از‪)3‬‬
‫– تغييططر‪ :‬يططك عامططل‪ ،‬مجططوز تغييططرهرشططيشي را دارد بططه شططرط آنكططه ططس ازتغيي طر‪ ،‬سطططح‬
‫ش ططیئ ب ططه بزرگت ططرين س طططح پ ططائين (‪ )GLB‬س طططوح عام ططل و ش ططیئ تقلي ططل ياب ططد‪.‬‬
‫] )‪Inew(o) = GLB [ I(s), Iold(o‬‬
‫‪o‬‬
‫حياتي‬
‫خيلي مهم‬
‫‪s‬‬
‫مهم‬
‫عادی‬
‫‪26‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪6- Biba‬‬
‫(‪ )2‬خط مش ي نشان آب پايين براي اشياء (‪ 2‬از‪)3‬‬
‫– اجططرا‪ :‬يططك عامططل‪ ،‬مجططوز اجططرا (فراخططوانی) يططك عامططل ديگططر را دارد فقططط اگططرسطططح‬
‫صطحت عامطل اول بزرگتطريطا مسطاوي سططح صطحت عامطل دوم باشطد‪I(s1)  .‬‬
‫)‪I(s2‬‬
‫‪s1‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪s2‬‬
‫عادی‬
‫‪27‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪7- Biba‬‬
‫(‪ )2‬خط مش ي نشان آب پايين براي اشياء (‪ 3‬از‪)3‬‬
‫– مشططاهده‪ :‬يططك عامططل‪ ،‬مجططوز مشططاهده يططك ش ط ئ را دارد فقططط اگططرسطططح صططحت عامططل‪،‬‬
‫كوچكترازسطح صحت ش ئ باشد‪I(o)  I(s) .‬‬
‫‪o‬‬
‫حياتي‬
‫خيلي مهم‬
‫‪s‬‬
‫مهم‬
‫عادی‬
‫‪28‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪8- Biba‬‬
‫(‪ )3‬خط مش ي نشان آب پايين صحت با ثبت‬
‫‪ 1(Low-Watermark Integrity Audit Policy‬از‪)1‬‬
‫– تغیير‪ :‬یک عامل می تواند هرشیئ درهرسطحی ازصحت را تغیيردهد‪.‬‬
‫– اگ ططری ططک عام ططل ی ططک ش ططیئ دررا درس طططح ص ططحت ب ططاالترو ی ططا غي ططرقاب ططل مقایس ططه تغیي ططر‬
‫دهد‪ ،‬تنها درسیستم ثبت)‪ (Audit‬ثبت گردد‪.‬‬
‫‪29‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪9- Biba‬‬
‫(‪ )4‬خط مش ي حلقه(‪ 1‬از‪)1‬‬
‫سطح صحت ثابت‪.‬‬
‫– تغیير‪ :‬يك عامل‪ ،‬مجوز تغیير يك ش ئ را دارد فقط اگطرسططح صطحت عامطل‪ ،‬بزرگتطر‬
‫ازسطح صحت ش ئ باشد‪I(s)  I(o) .‬‬
‫– اج ططرا‪ :‬ي ططك عام ططل‪ ،‬مج ططوز اج ططرای روی عام ططل دیگ ططررا دارد فق ططط اگ ططرس طططح ص ططحت‬
‫عامل اول ‪ ،‬بزرگتریا مساوی سطح صحت عامل دوم باشد‪.‬‬
‫)‪I(s2)  I(s1‬‬
‫– مشاهده‪ :‬يك عامل‪ ،‬مجوز مشاهده يك ش ئ را درهرسطحی دارد‪.‬‬
‫‪30‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪8- Biba‬‬
‫(‪ )5‬خط مش ي حفظ صحت سختگيرانه (‪ 1‬از‪)3‬‬
‫– خصوصططيت سططتاره (*) صططحت‪ :‬يططك عامططل‪ ،‬مجططوز تغييططر يططك ش ط ئ را دارد فقططط اگ طر‬
‫سطح صحت عامل‪ ،‬بزرگتريا مساوي سطح صحت ش ئ باشد‪I(s)  I(o) .‬‬
‫‪s‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪o‬‬
‫‪31‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عادی‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪9- Biba‬‬
‫(‪ )5‬خط مش ي حفظ صحت سختگيرانه (‪ 2‬از‪)3‬‬
‫– خصوصيت اجرا‪ :‬يك عامل‪ ،‬مجوز اجرا (فراخطوانی) يطك عامطل ديگطر را دارد فقطط‬
‫اگططرسطططح صططحت عامططل اول بزرگتططريططا مسططاوي سطططح صططحت عامططل دوم باشططد‪.‬‬
‫)‪I(s1)  I(s2‬‬
‫‪s1‬‬
‫حياتي‬
‫خيلي مهم‬
‫مهم‬
‫‪s2‬‬
‫عادی‬
‫‪32‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول یا خط مشیهای اجباری درمدل ‪10- Biba‬‬
‫(‪ )5‬خط مش ي حفظ صحت سختگيرانه (‪ 3‬از‪)3‬‬
‫– خصوص ططيت س ططاده ص ططحت‪ :‬ي ططك عام ططل‪ ،‬مج ططوز مش ططاهده ي ططك ش ط ئ را دارد فق ططط اگ ططر‬
‫سطح صحت عامل‪ ،‬كوچكترازسطح صحت ش ئ باشد‪I(o)  I(s) .‬‬
‫‪o‬‬
‫حياتي‬
‫خيلي مهم‬
‫‪s‬‬
‫مهم‬
‫عادی‬
‫‪33‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫خط مش ی های اختیاری مدل ‪1-Biba‬‬
‫‪MCI‬‬
‫‪ .1‬لیست های کنترل دسترس ی‬
‫– بططه هططرشططیئ یططک لیسططت کنتططرل دسترسط ی اختصططاص مططی یابططد کططه نشططان دهنططده عامططل هططا و‬
‫حاالت دسترس ی ای است که می توانند به آن شیئ دسترس ی پیدا نمایند‪.‬‬
‫– ایططن لیسططت م ططی توان ططد توس ططط عامططل ه ططایی کططه دارای ح ططق ‪ modify‬بططرروی‬
‫مربوطه هستند تغیيرنماید‪.‬‬
‫‪ACL‬‬
‫‪ .2‬سلسله مراتب اشیاء‬
‫– اشیاء به صورت سلسله مراتبی بوسیله یک درخت ریشه دارمرتب میشوند‬
‫– بططرای دسترس ط ی بططه یططک شططیئ‪ ،‬یططک عامططل بایططد دارای حططق ‪ observe‬بططه تمططام اجططداد آن‬
‫شیئ داشته باشد‪.‬‬
‫‪34‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫خط مش ی های اختیاری مدل ‪2-Biba‬‬
‫‪MCI‬‬
‫‪ .3‬حلقه‬
‫–‬
‫به هرعامل یک صفت مجوزی(حلقه) اختصاص می یابد‪.‬‬
‫–‬
‫حلقه ها عددگ اری میشوند‪.‬‬
‫–‬
‫حلقه ها با اعداد کوچيترنشان دهنده حقوق با مجوزهای باالتراست‪.‬‬
‫–‬
‫خط مش ی ها نیازبه برقراربودن اصول زیررا دارد‪:‬‬
‫•‬
‫یک عامل می تواند حق ‪ modify‬بروی اشیاء‪ ،‬فقط دربازه مجازی ازحلقه ها داشته باشد‬
‫•‬
‫یططک عامططل مططی توانططد حططق دسترسط ی ‪ invoke‬را بططروی عططواملی بططا مجططوز بططاالترتنهططا دربططازه مجططازی از‬
‫حلقططه هططا داشططته باشططد‪ .‬البتططه هططرعامططل مططی توانططد حططق دسترسط ی ‪ invoke‬را بططروی تمططام عوامططل بططا‬
‫مجوز پایين ترو مساوی داشته باشد‪.‬‬
‫•‬
‫هرعامل می تواند دسترس ی ‪ observe‬را بروی اشیاء دریک بازه مجازازحلقه ها داشته باشد‪.‬‬
‫‪35‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫خالصه مدل ‪Biba‬‬
‫• مدل ‪ Biba‬بيشتر با خط مش ي سختگيرانه اش شناخته شده است‪.‬‬
‫• خط مش ي حفظ صحت سختگيرانه به طور خالصه‪:‬‬
‫– عامل ازاشياي با سطوح امنيتي باالتر يا مساوي خود‪ ،‬ميخواند(مشاهده)‪.‬‬
‫‪No Read Down‬‬
‫– عامل دراشياي با سطوح امنيتي پايينتر يا مساوي خود‪ ،‬مينويسد (تغیير)‪.‬‬
‫‪No Write Up‬‬
‫‪36‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫‪MCI‬‬
‫مدل كنترل دسترس ي اجباري پايگاه دادهها ‪Dion‬‬
‫‪37‬‬
‫مدل ‪1-Dion‬‬
‫•‬
‫ارائه شده درسال ‪1981‬‬
‫•‬
‫کنترل دسترس ی اجباری‬
‫•‬
‫حفا ت از صحت و محرمانگی داده ها‬
‫•‬
‫ترکیب مدل های کنترل دسترس ی ‪ BLP‬و ‪Biba‬‬
‫•‬
‫بططرخالف دو مططدل قبلططی هططیچ ن ططوع خططط مش ط ی اختیططاری را ش ططتیبانی نمططی کنططد و بططا ارض ططای تمططام خططط مش ط ی هططای‬
‫امنیتی اجباری‪ ،‬دسترس ی مجازشمرده می شود‪.‬‬
‫•‬
‫جریان داده ها میان اشیاء به عوامل تعریف نمی شود بليه میان اشیاء به اشیاء تعریف می گردد‪.‬‬
‫– به همين دلیل مفهوم اتصال)‪ (connection‬مطرح می گردد که یک ارتباط میان شیئ مبدا بطه مقصطد بایطد توسطط عامطل ایجطاد‬
‫گردد تا امکان برقراری جریان اطالعات میان آنها را فراهم نماید‪.‬‬
‫‪38‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪2-Dion‬‬
‫• مططدل ‪ Dion‬مبتنططی بططررده هططای اشططیاء و عوامططل هسططتند کططه شططامل سطططوح‬
‫صحتی و محرمانگی هستند‪.‬‬
‫• سطوح محرمانگی و معانی آنها همانند مدل کنترل دسترس ی ‪ BLP‬هستند‬
‫• سطوح صحتی و معانی آنها همانند مدل کنترل دسترس ی ‪ Biba‬هستند‪.‬‬
‫‪39‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫عوامل و رده های مدل ‪1-Dion‬‬
‫‪MCI‬‬
‫• درای ططن م ططدل‪ ،‬عوام ططل هم ططان برنام ططه ه ططایی هس ططتند ک ططه درسیس ططتم ب ططه نماین ططدزی ازر ططاربراج ططرا م ططی‬
‫شوند‪.‬‬
‫• به هرعامل سیستم سه سطح محرمانگی و سه سطح صحتی اختصاص می یابد‬
‫• سطوح امنیتی‪:‬‬
‫– سطح محرمانگی مطلق)‪ :(Absolute Security Level‬سطح امنیتی است که به عامل درزمان ایجاد‬
‫داده می شود‪ .‬این سطح امنیتی درطول حیات عامل ثابت است‬
‫– سطح محرمانگی خواندن)‪ :(Read Security Level‬باالترین سطح امنیتی است که عامطل مجطازاسطت‬
‫بخواند‪.‬‬
‫– سطح محرمانگی نوشتن)‪ :(Write Security Level‬پایين ترین سطح امنیتطی اسطت کطه یطک عامطل مجطاز‬
‫است بنویسد‪.‬‬
‫‪40‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عوامل و رده های مدل ‪2-Dion‬‬
‫• سطوح صحتی‪:‬‬
‫– سططح صطحتی مطلطق)‪ :(Absolute Integrity Level‬سططح صطحتی اسطت کطه بطه عامطل درزمطان‬
‫ایجاد داده می شود‪ .‬این سطح صحتی درطول حیات عامل ثابت است‬
‫– سطح صحتی خوانطدن)‪ :(Read Integrity Level‬پطایين تطرین سططح صطحتی اسطت کطه عامطل مجطاز‬
‫است بخواند‪.‬‬
‫– سطططح صططحتی نوشططتن)‪ :(Write Integrity Level‬بططاالترین سطططح صططحتی اسططت کططه عامططل مجططاز‬
‫است بنویسد‪.‬‬
‫‪41‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫عوامل و رده های مدل ‪3-Dion‬‬
‫‪MCI‬‬
‫• روابط زیرباید درهرسیستم برای هرعامل ‪ s‬برقرارباشد‪:‬‬
‫– )‪WSL(s) ≤ ASL(s) ≤ RSL(s‬‬
‫– )‪RIL(s) ≤ AIL(s) ≤ WIL(s‬‬
‫• ه ط ط ططرعام ط ط ططل ک ط ط ططه ح ط ط ططداقل یک ط ط ططی ازنامس ط ط ططاوی ه ط ط ططای ب ط ط ططاال ب ط ط ططه ص ط ط ططورت اکی ط ط ططد ارض ط ط ططا کن ط ط ططد عام ط ط ططل‬
‫معتمد)‪ (Trusted Subject‬نامیده می شود‪.‬‬
‫• یک عامل می تواند ازدید امنیتی‪ ،‬صحتی و یا هردو بسطته بطه تعطداد نامسطاوی هطایی کطه بطه صطورت‬
‫اکید ارضا می کند‪ ،‬معتمد باشد‪.‬‬
‫• هرعاملی که چهاررابطه باال را به صورت تساوی ارضا نماید‪ ،‬عامل غيرمعتمد نامیده می شود‪.‬‬
‫‪42‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫اشیاء و رده های مدل ‪1-Dion‬‬
‫‪MCI‬‬
‫• دراین مدل‪ ،‬اشیاء به هرموجودیت انباره داده درسیستم اطالق می گردد‪.‬‬
‫• به هرشیئ سیستم سه سطح امنیتی و سه سطح صحتی اختصاص می یابد‬
‫• سطوح امنیتی‪:‬‬
‫– سططح امنیتطی مطلطق)‪ :(Absolute Security Level‬سططح امنیتطی داده ای اسطت کطه درشطیئ قطرارمطی‬
‫گيرد‪ .‬این سطح امنیتی درطول حیات شیئ ثابت است‬
‫– سطح امنیتی مهاجرتی )‪ :(Migration Security Level‬بطاالترین سططح امنیتطی اسطت کطه داده درايطن‬
‫شیئ‪ ،‬مجازاست به شیئ درآن سطح جریان پیدا کند‪.‬‬
‫– سطح امنیتی تحریفی)‪ :(Corruption Security Level‬پایين ترین سطح امنیتی اسطت کطه داده ازآن‬
‫سطح می تواند به این شیئ جریان پیدا کند‪.‬‬
‫‪43‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫عوامل و رده های مدل ‪2-Dion‬‬
‫• سطوح صحتی‪:‬‬
‫– سطح صحتی مطلق)‪ :(Absolute Integrity Level‬سطح صحتی داده ای است که درشیئ قرار‬
‫می گيرد‪ .‬این سطح صحتی درطول حیات شیئ ثابت است‬
‫– سطح صحتی مهاجرتی)‪ :(Migration Integrity Level‬پایين ترین سطح صحتی است که داده‬
‫ازاین شیئ‪ ،‬مجازاست به شیئ درآن سطح جریان پیدا کند‪.‬‬
‫– سطح صطحتی تحریفطی)‪ :(Corruption Integrity Level‬بطاالترین سططح صطحتی اسطت کطه داده‬
‫ازآن سطح می تواند به این شیئ جریان پیدا کند‪.‬‬
‫‪44‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫عوامل و رده های مدل ‪3-Dion‬‬
‫• روابط زیرباید درهرسیستم برای هرشیئ ‪ o‬برقرارباشد‪:‬‬
‫– )‪CSL(o) ≤ ASL(o) ≤ MSL(o‬‬
‫– )‪MIL(o) ≤ AIL(o) ≤ CIL(o‬‬
‫‪45‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول مدل ‪1-Dion‬‬
‫‪MCI‬‬
‫‪ .1‬خصوصیت مهاجرت‬
‫–‬
‫سطططوح مهططاجرت شططیئ کططه اطالعططات درآن نوشططته مططی شططود)‪ (o2‬بایططد محططدودترازسطططح‬
‫مهاجرتی شیئ ای باشد که ازآن خوانده می شود )‪.(o1‬‬
‫)‪MSL(o1) ≥ MSL(o2‬‬
‫)‪MIL(o1) ≤ MIL(o2‬‬
‫–‬
‫این خصوصیت تضمين مطی کنطد کطه سططوح امنیتطی و صطحتی توسطط یطک مهطاجرت دور زده‬
‫نشود‪.‬‬
‫–‬
‫اگططرایططن خصوصططیت ارضططا نگططردد‪ ،‬داده هططای ‪ o1‬مططی توانططد بططه صططورت غيططرمسططتقیم‪ ،‬بططه‬
‫سطوح امنیتی ای که مجازنمی باشد (مانند ‪ )o2‬مهاجرت داده شود‪.‬‬
‫‪46‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مثال‬
‫‪47‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول مدل ‪2-Dion‬‬
‫‪MCI‬‬
‫‪ .2‬خصوصیت تحریف‬
‫–‬
‫سط طططوح تحریط ططف شط ططیئ ای کط ططه ازآن اطالعط ططات خوانط ططده میشط ططود )‪ (o1‬بایط ططد حط ططداقل از‬
‫سطوح تحریف شیئ ای که درآن اطالعات نوشته می شود‪ ،‬محدودترباشد‪.‬‬
‫)‪CSL(o1) ≥ CSL(o2‬‬
‫)‪CIL(o1) ≤ CIL(o2‬‬
‫ایططن خصوصططیت تضططمين میينططد سطططوح امنیتططی و صططحتی ‪ O2‬بططه صططورت غيططرمسططتقیم‬
‫دور زده نشود‪.‬‬
‫–‬
‫‪48‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مثال‬
‫‪49‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫اصول مدل ‪3-Dion‬‬
‫‪MCI‬‬
‫‪ .3‬خصوصیت امنیتی‬
‫عاملی که یک اتصال را ایجاد مطی کنطد‪ ،‬بایطد سططح دسترسط ی خوانطدن بطروی شطیئ ای کطه‬
‫می خواند )‪ (O1‬و سططح دسترسط ی نوشطتن بطروی شطیئ ای کطه مطی نویسطد )‪ (O2‬داشطته‬
‫باشد‪.‬‬
‫–‬
‫)‪RSL(s) ≥ ASL(o1‬‬
‫)‪WSL(s) ≤ ASL(o2‬‬
‫–‬
‫ای ططن خصوص ططیت مع ططادل هم ططان ‪ No-Read-Up‬و ‪ No-Write-Down‬ازم ططدل‬
‫کنترل دسترس ی ‪ BLP‬می باشد‬
‫‪50‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫اصول مدل ‪4-Dion‬‬
‫‪MCI‬‬
‫‪ .4‬خصوصیت صحتی‬
‫عاملی که یک اتصال را ایجاد مطی کنطد‪ ،‬بایطد سططح دسترسط ی خوانطدن بطروی شطیئ ای کطه‬
‫می خواند )‪ (O1‬و سططح دسترسط ی نوشطتن بطروی شطیئ ای کطه مطی نویسطد )‪ (O2‬داشطته‬
‫باشد‪.‬‬
‫–‬
‫)‪RIL(s) ≤ AIL(o1‬‬
‫)‪WIL(s) ≥ AIL(o2‬‬
‫–‬
‫ای ططن خصوص ططیت مع ططادل هم ططان ‪ No-Read-Down‬و ‪ No-Write-Up‬ازم ططدل‬
‫کنترل دسترس ی ‪ Biba‬می باشد‬
‫‪51‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫اصول مدل ‪5-Dion‬‬
‫‪MCI‬‬
‫‪ .5‬خصوصیت نوشتن‪/‬تحریف‬
‫–‬
‫سطح امنیتی مطلق یک عامل بر سطح امنیتطی تحریطف یطک شطیئ کطه بطه آن انتقطال‬
‫اطالعات صورت می گيرد باید تفوق داشته باشد‬
‫–‬
‫سطططح صططحتی مطلططق یططک عامططل بایططد بوسططیله سطططح صططحتی تحریططف شططیئ ای کططه‬
‫انتقال اطالعات به آن صورت می گيرد‪ ،‬متفوق باشد‪.‬‬
‫)‪ASL(s) ≥ CSL(o2‬‬
‫)‪AIL(s) ≤ CIL(o2‬‬
‫–‬
‫ایططن خصوصططیت ارضططای سطططوح تحریططف یططک شططیئ کططه بططه آن انتقططال داده‪ ،‬انجططام‬
‫می گيرد را تضمين می کند‪.‬‬
‫)‪• ASL(s) ≥ ASL (O1) ≥ CSL(O1) ≥ CSL (O2‬‬
‫‪52‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫اصول مدل ‪6-Dion‬‬
‫‪MCI‬‬
‫‪ .6‬خصوصیت خواندن‪/‬مهاجرت‬
‫–‬
‫سطططح امنیتططی مطلططق یططک عامططل بوسططیله سطططح امنیتططی مهططاجرت یططک شططیئ کطه ازآن‬
‫انتقال اطالعات صورت می گيرد باید متفوق باشد‬
‫–‬
‫سطح صحتی مطلق یک عامل بایطد بطرسططح صطحتی مهطاجرت شطیئ ای کطه انتقطال‬
‫اطالعات ازآن صورت می گيرد‪ ،‬تفوق داشته باشد‪.‬‬
‫)‪ASL(s) ≤ MSL(o1‬‬
‫)‪AIL(s) ≥ MIL(o1‬‬
‫–‬
‫ایططن خصوصططیت ارضططای سطططوح مهططاجرت یططک شططیئ کططه ازآن انتقططال داده‪ ،‬انجطام‬
‫می گيرد را تضمين می کند‪.‬‬
‫‪53‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل كنترل دسترس ي اجباري پايگاه دادهها ‪Sea-‬‬
‫‪View‬‬
‫‪54‬‬
‫مدل ‪Sea-View‬‬
‫‪MCI‬‬
‫• ارائه شده به وسيلة ‪ Dorothy Denning‬درسال ‪1987‬‬
‫• مخفف مدل ‪SEcure dAta VIEW‬‬
‫• برای حفا ت ازمدل رابطه ای درپايگاه داده ها‬
‫‪Trusted Computing Base Model‬‬
‫كنترل دسترس ي اجباري‬
‫‪BLP & Biba‬‬
‫‪55‬‬
‫مدل كنترل دسترس ي اجباری (‪)MAC‬‬
‫‪Mandatory Access Control Model‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪Sea-View‬‬
‫كنترل دسترس ي اختياري‬
‫مدل پايگاه محاسباتي مطمئن (‪)TCB‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري‪1-‬‬
‫• ردههاي دسترس ي شامل دو جزء است‪:‬‬
‫– ردة محرمانگي‪ :‬مشابه با ردة امنيتي مدل ‪BLP‬‬
‫– ردة صحت‪ :‬مشابه مدل ‪Biba‬‬
‫• اشياء‬
‫– اشیای حفا ت شده توسط ‪ MAC‬فایلهایی تک سطحی هستند‬
‫• عاملها‬
‫– عوامل همان پردازه هایی هستند که به نمایندزی ازراربران اجرا میشوند‬
‫– به هرراربربازه ای ازرده های امنیتی و صحتی تخصیص داده می شود که مجازاست اجرا نماید‪.‬‬
‫• حالتهاي دسترس ي‪ :‬خواندن‪ ،‬نوشتن و اجرا‬
‫‪56‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري‪2-‬‬
‫‪MCI‬‬
‫• ردههاي دسترس ي‪ ،‬براساس رابطة تفوق تشكيل يك شبكه (‪ )Lattice‬ميدهند‪.‬‬
‫• ردة دسترس ي ‪ C1‬بر ردة دسترس ي ‪ C2‬تفوق دارد اگرو فقط اگر‬
‫– جزء محرمانگي ‪ C1‬بر جزء محرمانگي ‪ C2‬تفوق داشته باشد و‬
‫‪C1.Secrecy  C2. Secrecy‬‬
‫– جزء صحتی ‪ C2‬برجزء صحتی‪ C1‬تفوق داشته باشد‪.‬‬
‫‪C1.Integrity ≤ C2.Integrity‬‬
‫• مثال‪:‬‬
‫))‪((TS, Nato), (I, Nato)) ≥ ((S, Nato), (VI, Nato‬‬
‫‪57‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري‪3-‬‬
‫•‬
‫بطه هطركطاربرردههطاي محرمطانگي و صطحتی حطداقل و حطداكرري‪ ،‬تخصطيص مطييابطد كطه بطه آنهطا ‪،minsecrecy‬‬
‫‪ maxsecrecy ،minintegrity‬و ‪ maxintegrity‬گفته ميشود‪.‬‬
‫– زوج مرتب (‪ )minsecrecy , maxintegrity‬ردة نوشتن يك عامل‬
‫– زوج مرتب (‪ )maxsecrecy , minintegrity‬ردة خواندن يك عامل‬
‫– ردة خواندن هرعامل بايد برردة نوشتن وي تفوق داشته باشد‪.‬‬
‫ً‬
‫ق‬
‫• يك عامل‪ ،‬قابل اعتماد است اگرردة خواندنش برردة نوشتن وي قويا تفو داشته باشد‪.‬‬
‫• يك عامل‪ ،‬غيرقابل اعتماد است اگررده خواندن و نوشتن آن برابرباشد‪.‬‬
‫‪58‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري ‪4-‬‬
‫(‪ )1‬قاعدة خواندن‪:‬‬
‫عام ططل ‪ s‬م ططيتوان ططد شط طیئ ‪ o‬را بخوان ططد فق ططط اگ ططر ردة خوان ططدن عام ططل ب ططرردة‬
‫دسترس ي شیئ تفوق داشته باشد‪.‬‬
‫)‪readclass (s)  access-class (o‬‬
‫‪i.e. maxsecrecy (s)  o.seccrecy & minintegrity (s) ≤ o.integrity‬‬
‫‪NO-READ-UP secrecy principle +‬‬
‫‪NO-READ-DOWN integrity policy‬‬
‫‪59‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري ‪5-‬‬
‫‪MCI‬‬
‫(‪ )2‬قاعدة نوشتن‪:‬‬
‫عامل ‪ s‬ميتواند شیئ ‪ o‬را بنويسطد فقطط اگطرردة دسترسط ي شطیئ بطرردة نوشطتن‬
‫عامل تفوق داشته باشد‪.‬‬
‫)‪writeclass (s) ≤ access-class (o‬‬
‫‪i.e. minsecrecy (s) ≤ o.seccrecy & maxintegrity (s)  o.integrity‬‬
‫‪NO-WRITE-DOWN secrecy policy +‬‬
‫‪NO-WRITE-UP integrity policy.‬‬
‫‪60‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري ‪6-‬‬
‫(‪ )3‬قاعدة اجرا‪:‬‬
‫عامططل ‪ s‬مططيتوانططد ش ط ئ ‪ o‬را اجططرا كنططد فقططط اگططر ‪ maxintegrity‬عامططل‪ ،‬كططوچكتري ططا‬
‫مساوي ردة صحت ش ئ و ‪ maxsecrecy‬عامل‪ ،‬بزرگتريا مسطاوي ردة محرمطانگي شط ئ‬
‫باشد‪.‬‬
‫)‪maxintegrity (s) ≤ integrity-class(o‬‬
‫)‪maxsecrecy (s)  confidentiality-class(o‬‬
‫• قوانين فوق بيان ميكنند كه عاملهاي مطمئن‪ ،‬ميتوانند دادههايي بطا سططح صطحت كمتطراز‬
‫‪ maxintegrity‬خودش ططان را خوان ططده و برنام ططهه ططاي ب ططا س طططح ص ططحت بيش ططتري ططا مس ططاوي‬
‫‪ maxintegrity‬خودشان را اجرا كنند‪.‬‬
‫‪61‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل كنترل دسترس ي اجباري ‪7-‬‬
‫‪62‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪Sea-View‬‬
‫اليه مدل محاسباتي مطمئن‪1-‬‬
‫م ططدل پايگ ططاه محاس ططباتي مطم ططئن (‪ :)TCB‬رواب ططط چندس طططحي را تعري ططف ك ططرده و ازخطمشط ط ي‬
‫اختياري استفاده ميكند‪.‬‬
‫رابططة چندسططحي (‪ :)Multilevel Relation‬رابططهاي اسطت كطه درآن بطراي هطرخصيصطة‬
‫‪ Ai‬يك ردة ‪ ، Ci‬و براي هرسطرنيزيك ردة ‪ Tc‬وجود دارد‪.‬‬
‫شماي رابطه چندسطحي‪:‬‬
‫)‪ِ : R(A1, C1, …, An, Cn, Tc‬شماي رابطه‬
‫‪: a1|c1, …, an|cn, t‬تاپل‬
‫ً‬
‫براي سادزي صرفا سطح محرمانگي را درنظرميگيريم‪.‬‬
‫‪63‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
Sea-View ‫مدل‬
2- ‫اليه مدل محاسباتي مطمئن‬
MCI
TS instance
S instance
.‫• عاملها برحسب سطح دسترس ي خود ديدهاي مختلفي نسبت به پايگاه دادهها دارند‬
Name
CName
Dept
CDept
Salary
CSalary
TC
Babak
S
d1
S
10K
S
S
Ali
S
d2
S
-
S
S
Name
CName
Dept
CDept
Salary
CSalary
TC
Babak
S
d1
S
10K
S
S
Ali
S
d2
S
30K
TS
TS
Sara
TS
d2
TS
30K
TS
TS
92-91 ‫ نيمسال دوم تحصيلي‬-‫ درس امنيت پايگاه داده ها‬-‫رسول جليلي‬
64
‫مدل ‪ – Sea-View‬خصوصيات ردهبندي اشياء‪1-‬‬
‫سطح اشياء بايد درشرايط زيرصدق كند‪:‬‬
‫(‪ )1‬جامعيت ردة پايگاه داده‪:‬‬
‫س طططح دسترسط ط ي ي ططك ش ططما باي ططد بزرگت ططراز س طططح دسترسط ط ي ن ططام پايگ ططاه دادهاي‬
‫باشد كه به آن متعلق است‪.‬‬
‫(‪ )2‬جامعيت ردة ديد‪:‬‬
‫سطح دسترس ي ديد بايد بزرگتطرازسططح دسترسط ي هطررابططه يطا ديطدي باشطد كطه‬
‫درتعريف آن قيد شده است‪.‬‬
‫‪65‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ – Sea-View‬خصوصيات ردهبندي اشياء‪2-‬‬
‫(‪ )3‬قانون دادههاي قابل رؤيت‪:‬‬
‫– س طططح دسترس ط ي ي ططك ِش طماي رابط ططه باي ططد كوچكتريامس ططاوی ازپ ططايينت ططرين ردة‬
‫دسترس ي داده هايی باشد كه ميتواند درآن ذخيره شود‪.‬‬
‫– س طططح دسترس ط ي ِش طماي رابط ططه باي ططد ك ططوچكتريامس ططاوی ب ططاالترين ح طد پ ططايين‬
‫سطوح دسترس ي مشخص شده براي يك صفت باشد‪.‬‬
‫‪66‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ – Sea-View‬خصوصيات روابط چندسطحي‪1-‬‬
‫(‪ )1‬جامعيت موجوديت چندسطحي (‪)Multilevel entity integrity‬‬
‫– ‪ AK‬مجموعه صفات تشكيل دهنده كليد اصلي‬
‫– سطح دسترس ي ‪ Ci‬تمام صفات ‪ AiAK‬درهمه تاپلها يكسان‬
‫– سطح ‪ Ci‬كوچكترازسطح ‪ Cj‬همه صفات ‪ AjAK‬غيردخيل دركليد اصلي‬
‫– هيچيك ازصفات دخيل دركليد اصلي درهيچيك ازتاپلها نميتوانند ‪ null‬باشند‪.‬‬
‫‪67‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ – Sea-View‬خصوصيات روابط چندسطحي‪2-‬‬
‫(‪ )2‬جامعيت ارجاعي چندسطحي (‪)Multilevel referential integrity‬‬
‫– هيچ تاپلي نميتواند كليد خارجي غير‪ null‬داشته باشد‪ ،‬مگطرآنكطه تطاپلي دررابططه ارجطاع‬
‫داده شده با كليد اصلي معادل آن وجود داشته باشد‪.‬‬
‫– سطح دسترس ي تمام خصوصيات دخيل دركليد خارجي درهمه تاپلها يكسان‬
‫– سطح دسترس ي كليد خارجي بزرگترمساوي سطح دسترس ي كليد اصلي مورد ارجاع‬
‫‪68‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ - Sea-View‬چند نمونهسازي‪1-‬‬
‫‪MCI‬‬
‫چن ططدنمونگي (‪ :)Polyinstantiation‬وج ططود همزم ططان چن ططد ش ططیئ دادهاي ب ططا اس ططامي‬
‫يكسان ولي سطح دسترس ي متفاوت‬
‫‪ (1‬روابططط چندنمونططه (‪ :)Polyinstatiated Relations‬روابططط بططا نططام رابطططه يكسططان و سطططح‬
‫دسترس ي متفاوت‬
‫‪ (2‬تاپلهطاي چندنمونطه (‪ :)Polyinstatiated Tuples‬تاپلهطاي بططا كليطد اصطلي يكسطان و سطططح‬
‫دسترس ي متفاوت براي كليد اصلي‬
‫‪ (3‬عناصططرچندنمونططه (‪ :)Polyinstantiated Elements‬عناصططرمربططوط بططه يططك خصيصططه بططا‬
‫سطح دسترس ي متفاوت و كليد اصلي و سطح دسترس ي كليد اصلي يكسان‬
‫‪69‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
2-‫ چند نمونهسازي‬- Sea-View ‫مدل‬
MCI
Name
CName
Dept
CDept
Salary
CSalary
TC
Babak
S
d1
S
10K
S
S
Ali
S
d2
S
30K
TS
TS
Sara
TS
d2
TS
30K
TS
TS
Sara
S
d1
S
10k
S
S
Insert another Sara record by a “S-subject”
Name
CName
Dept
CDept
Salary
CSalary
TC
Babak
S
d1
S
10K
S
S
Ali
S
d2
S
30K
TS
TS
Ali
S
d2
S
20k
S
S
Sara
TS
d2
TS
30K
TS
TS
Update of the Ali record by a “S-subject”
92-91 ‫ نيمسال دوم تحصيلي‬-‫ درس امنيت پايگاه داده ها‬-‫رسول جليلي‬
70
‫مدل ‪ - Sea-View‬چند نمونهسازي‪3-‬‬
‫• با وجود رابطه ‪ R‬و كليد اصلي ‪ AK‬با سطح دسترس ي ‪CK‬‬
‫• براي هرخصيصه ‪ AiAK‬با سطح دسترس ي ‪: Ci‬‬
‫– وابستگي تابعي (‪)functional dependency‬‬
‫‪(AK, CK, Ci )  Ai‬‬
‫– وابستگي چندمقداري (‪)multivalued dependency‬‬
‫‪(AK, CK)   Ai,Ci‬‬
‫‪71‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ – Sea-View‬دسترس ي به روابط چندسطحي‬
‫عمل خواندن (‪:)select‬‬
‫– عامله ط ططا ميتوانن ط ططد ب ط ططه نمون ط ططههاي رواب ط ططط چندس ط طططحي درس ط طططح دسترس ط ط ي خ ط ططود‬
‫دسترس ي دارند‪.‬‬
‫– به عبارت ديگرعاملها به دادههاي همسطح خود و يا پايينتردسترس ي دارند‪.‬‬
‫عمل درج يا بروزرساني (‪:)insert or update‬‬
‫– فرض‪ :‬وجود دادهاي با كليد اصلي يكسان‬
‫– قوانين برحسب ارتباط بين سطح دسترس ي داده موجود و سطح دسترس ي عامل‬
‫‪72‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪ – Sea-View‬نوشتن درروابط چندسطحي‪1-‬‬
‫‪MCI‬‬
‫(‪ )1‬سطح دسترس ي عامل كوچكتراز(غيرقابل قياس با) سطح دسترس ي داده‬
‫– ايجاد يك تاپل چندنمونه‬
‫• عامل قصد درج يك تاپل را دارد‬
‫• تاپلي با كليد اصلي يكسان (ولي مخفي ازديد عامل) درسطح باالتر وجود دارد‪.‬‬
‫‪TC‬‬
‫‪CSalary‬‬
‫‪Salary‬‬
‫‪CDept‬‬
‫‪Dept‬‬
‫‪CName‬‬
‫‪Name‬‬
‫‪S‬‬
‫‪S‬‬
‫‪10K‬‬
‫‪S‬‬
‫‪d1‬‬
‫‪S‬‬
‫‪Babak‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30K‬‬
‫‪S‬‬
‫‪d2‬‬
‫‪S‬‬
‫‪Ali‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30K‬‬
‫‪TS‬‬
‫‪d2‬‬
‫‪TS‬‬
‫‪Sara‬‬
‫‪S‬‬
‫‪S‬‬
‫‪10k‬‬
‫‪S‬‬
‫‪d1‬‬
‫‪S‬‬
‫‪Sara‬‬
‫”‪Insert another Sara record by a “S-subject‬‬
‫‪73‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪ – Sea-View‬نوشتن درروابط چندسطحي‪2-‬‬
‫‪MCI‬‬
‫(‪ )1‬سطح دسترس ي عامل كوچكتراز(غيرقابل قياس با) سطح دسترس ي داده‬
‫– ايجاد يك عنصرچندنمونه‬
‫• عامل قصد بروزرساني يك خصيصه ‪ null‬ازيك تاپل را دارد‪.‬‬
‫ً‬
‫• خصيصه موردنظر از تاپل‪ ،‬واقعا ‪ null‬نيست‪ ،‬بلكطه سططح دسترسط ي آن بطاالتراسطت و ازديطد ايطن‬
‫عامل مخفي است‪.‬‬
‫‪TC‬‬
‫‪CSalary‬‬
‫‪Salary‬‬
‫‪CDept‬‬
‫‪Dept‬‬
‫‪CName‬‬
‫‪Name‬‬
‫‪S‬‬
‫‪S‬‬
‫‪10K‬‬
‫‪S‬‬
‫‪d1‬‬
‫‪S‬‬
‫‪Babak‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30K‬‬
‫‪S‬‬
‫‪d2‬‬
‫‪S‬‬
‫‪Ali‬‬
‫‪S‬‬
‫‪S‬‬
‫‪20k‬‬
‫‪S‬‬
‫‪d2‬‬
‫‪S‬‬
‫‪Ali‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30K‬‬
‫‪TS‬‬
‫‪d2‬‬
‫‪TS‬‬
‫‪Sara‬‬
‫”‪Update of the Ali record by a “S-subject‬‬
‫‪74‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪ – Sea-View‬نوشتن درروابط چندسطحي‪3-‬‬
‫‪MCI‬‬
‫(‪ )2‬سطح دسترس ي عامل بزرگترازسطح دسترس ي داده‬
‫– ايجاد يك تاپل چندنمونه‬
‫• عامل قصد درج يك تاپل را دارد‪.‬‬
‫• تاپلي با كليد اصلي يكسان در سطح پايينتروجود دارد‪.‬‬
‫‪TC‬‬
‫‪CSalary‬‬
‫‪Salary‬‬
‫‪CDept‬‬
‫‪Dept‬‬
‫‪CName‬‬
‫‪Name‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30k‬‬
‫‪TS‬‬
‫‪d2‬‬
‫‪TS‬‬
‫‪Babak‬‬
‫‪S‬‬
‫‪S‬‬
‫‪10k‬‬
‫‪S‬‬
‫‪d1‬‬
‫‪S‬‬
‫‪Babak‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30k‬‬
‫‪S‬‬
‫‪d2‬‬
‫‪S‬‬
‫‪Ali‬‬
‫‪S‬‬
‫‪S‬‬
‫‪20k‬‬
‫‪S‬‬
‫‪d2‬‬
‫‪S‬‬
‫‪Ali‬‬
‫‪TS‬‬
‫‪TS‬‬
‫‪30K‬‬
‫‪TS‬‬
‫‪d2‬‬
‫‪TS‬‬
‫‪Sara‬‬
‫”‪Insert another Babak record by a “TS-subject‬‬
‫‪75‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫مدل ‪ – Sea-View‬نوشتن درروابط چندسطحي‪4-‬‬
‫(‪ )2‬سطح دسترس ي عامل بزرگترازسطح دسترس ي داده‬
‫– ايجاد يك تاپل چندنمونه‬
‫• عامل قصد بروزرساني يك خصيصه ازيك تاپل را دارد‪.‬‬
‫• خصيصه موردنظر ازتاپل حاوي دادهاي با سطح دسترس ي پايينتراست‪.‬‬
‫‪76‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
MCI
5-‫ – نوشتن درروابط چندسطحي‬Sea-View ‫مدل‬
‫• مثال ايجاد يك تاپل چندنمونه دربروزرساني داده سطح پايينتر‬
Name
CName
Dept
CDept
Salary
CSalary
TC
Babak
TS
d2
TS
30k
TS
TS
Babak
S
d1
S
10k
S
S
Ali
S
d2
S
30k
TS
TS
Ali
S
d1
TS
30k
TS
TS
Ali
S
d2
S
20k
S
S
Ali
S
d1
TS
20k
S
TS
Sara
TS
d2
TS
30K
TS
TS
Update of the Ali record by a “TS-subject”
SET Dept = “d1”
WHERE Name = “Ali”
92-91 ‫ نيمسال دوم تحصيلي‬-‫ درس امنيت پايگاه داده ها‬-‫رسول جليلي‬
77
‫مدل ‪-Sea-View‬حالت های دسترس ی‪1-‬‬
‫حالتهط ططاي دسترس ط ط ي مختلط ططف بط ططراسط ططاس انط ططواع اشط ططيا (ماننط ططد پايگط ططاه داده و رابطط ططه)‬
‫مشخص مي شود‪.‬‬
‫(‪ )1‬حالتهاي دسترس ي پايگاه داده‪:‬‬
‫– ‪ :Null‬ممانعت ازهرگونه دسترس ي به يك پايگاه داده‪.‬‬
‫– ‪ :List‬ب ط طراي فهميط ططدن اسط ططامي و شط ططماهاي روابط ططط چندسط طططحي موجط ططود در‬
‫پايگاه داده‪.‬‬
‫– ‪ :Create_mrelation‬بط طراي ايج ططاد ي ططك رابط ططة چندس طططحي درپايگ ططاه‬
‫داده‪.‬‬
‫– ‪ :Delete_db‬ح ف يك پايگاه داده‪.‬‬
‫‪78‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪-Sea-View‬حالت های دسترس ی‪2-‬‬
‫(‪ )1‬حالتهاي دسترس ي پايگاه داده(ادامه)‪:‬‬
‫– ‪ :Grant‬بط ط طراي اعط ط ططاي مج ط ططوز حالته ط ططاي دسترسط ط ط ي پايگ ط ططاه داده (ب ط ططه ج ط ططز‬
‫‪ grant‬و ‪ )give_grant‬توسط يك كاربربه كاربران ديگر‪.‬‬
‫– ‪ :Give_grant‬ب ط ط طراي اعطط ط ططاي مجط ط ططوز حالتهط ط ططاي دسترس ط ط ط ي پايگط ط ططاه داده‬
‫(شامل ‪ grant‬و ‪ )give_grant‬توسط يك كاربربه كاربران ديگر‪.‬‬
‫‪79‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪-Sea-View‬حالت های دسترس ی‪3-‬‬
‫(‪ )2‬حالتهاي دسترس ي رابطه (اختياري)‪:‬‬
‫– ‪ :Null‬ممانعت ازهرگونه دسترس ي به يك رابطه‪.‬‬
‫– ‪ :Select‬براي بازيابي سطرها ازيك رابطه‪.‬‬
‫– ‪ :Insert‬براي درج سطرها دريك رابطه‪.‬‬
‫– (‪ :Update(i‬براي تغييردادة خصيصة ‪i‬ام يك رابطه‪.‬‬
‫– ‪ :Delete_tuple‬براي ح ف سطرها ازيك رابطه‪.‬‬
‫– ‪ :Create_view‬براي ايجاد ديد مبتني بريك رابطه‪.‬‬
‫– ‪ :Delete_mrelation‬براي ح ف يك رابطه‪.‬‬
‫‪80‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪-Sea-View‬حالت های دسترس ی‪4-‬‬
‫(‪ )2‬حالتهاي دسترس ي رابطه (اختياري)(ادامه)‪:‬‬
‫– ‪ :Reference‬براي ارجاع به يك رابطه‪( .‬به منظور دسترس ي بطه ديطدهايي‬
‫كه برمبناي رابطة م كور تعريف شدهاند‪ ،‬الزم است)‬
‫– ‪ :Grant‬ب طراي اعطططاي مجططوز حالتهططاي دسترس ط ي رابطططه (بططه جططز‪ grant‬و‬
‫‪ )give_grant‬توسط يك كاربربه كاربران ديگر‪.‬‬
‫– ‪ :Give_grant‬بط طراي اعط ططاي مج ططوز حالته ططاي دسترسط ط ي رابط ططه (ش ططامل‬
‫‪ grant‬و ‪ )give_grant‬توسط يك كاربربه كاربران ديگر‪.‬‬
‫‪81‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مدل ‪-Sea-View‬حالت های دسترس ی‪5-‬‬
‫(‪ )3‬حالتهاي دسترس ي اشياء ( الية ‪:)MAC‬‬
‫– ‪ :Read‬براي خواندن يك شیئ‪.‬‬
‫– ‪ :Write‬براي نوشتن يك شیئ‪.‬‬
‫– ‪ :Null‬ممانعت ازهرگونه دسترس ي به يك شیئ‪.‬‬
‫– ‪ :Grant‬ب طراي اعط ططاي مج ططوز حالته ططاي دسترس ط ي ش طیئ (ب ططه ج ططز‪ grant‬و‬
‫‪ )give_grant‬توسط يك كاربربه كاربران ديگر‪.‬‬
‫– ‪ :Give_grant‬ب ط طراي اعط ط ططاي مج ط ططوز حالته ط ططاي دسترس ط ط ي ش ط طیئ (ش ط ططامل‬
‫‪ grant‬و ‪ )give_grant‬توسط كاربري به ديگران‪.‬‬
‫‪82‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مجازشماری درمدل ‪1- Sea-View‬‬
‫)‪ (1‬ويژزي ‪:denial takes precedence‬‬
‫اگركاربري آشكارا ازدسترس ي به يطك شط ئ منطع شطود‪ ،‬تمطامي مجوزهطاي خصط ي‬
‫يطا مجوزهطايي كطه ازطريطق عضطويت دريططك گطروه‪ ،‬نسطبت بطه آن شط ئ دارد بطياثططر‬
‫خواهد شد‪.‬‬
‫(‪ )2‬اگربراي دسترس ي كاربري به يك ش ئ‪ ،‬چيزي بيطان نشطده باشطد و ايطن كطاربرعضطو‬
‫گروهطي اسطت كطه دسترسط ي بطه آن شط ئ بطراي گطروه منطع نگرديطده‪ ،‬درآن صطورت‬
‫وي مططيتوانططد تمططامي مجوزهططاي دسترسط ي گططروه بططه ايططن شط ئ را دراختيططارداشططته‬
‫باشد‪.‬‬
‫‪83‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫مجازشماری درمدل ‪2- Sea-View‬‬
‫(‪ )3‬اگططرك ططاربري هططيچ اج ططازة منفططي مشخص ط ي ب ططرروي يططك ش طیئ نداش ططته‪ ،‬ول ططي اج ططازة‬
‫مثب ططت مشخصط ط ي بط طراي برت ططي ح ططاالت دسترسط ط ي آن شط ط ئ را داش ططته باش ططد‪ ،‬درآن‬
‫ص ططورت ب ططه وي فق ططط اي ططن مجوزه ططا اعط ططا ش ططده و ه ططيچ مج ططوز ديگ ططري ازطري ططق‬
‫عضويت وي دريك گروه (مجوز گروهي) به او داده نميشود‪.‬‬
‫‪84‬‬
‫رسول جليلي‪ -‬درس امنيت پايگاه داده ها‪ -‬نيمسال دوم تحصيلي ‪92-91‬‬
‫‪MCI‬‬
‫‪MCI‬‬
‫پایان‬
‫مركز امنيت شبكه شريف‬
‫‪http://nsc.sharif.edu‬‬
‫‪85‬‬