دانلود پاورپوینت بررسی و ارزیابی مدلهای کنترل دسترسی شبکه - مبنا، کنترل جریان اطلاعات

\n

مروری بر مدلهای کنترل دسترسی شبکه-مبنا

\n

\n

عنوان های پاورپوینت  : 

\n

\n

بررسی و ارزیابی مدلهای کنترل دسترسی شبکه - مبنا، کنترل جریان اطلاعات

\n

مروری بر مدلهای کنترل دسترسی شبکه-مبنا

\n

مقدمه

\n

خط مشی های جریان اطلاعات

\n

کلاسهای مجزا (Isolated Classes)

\n

خط مشی بالا - پایین

\n

اصول موضوعه Denning

\n

اصل موضوعه اول Denning

\n

اصل موضوعه دوم Denning

\n

اصل موضوعه سوم Denning

\n

اصل موضوعه چهارم Denning

\n

رابطه تفوق (Dominance)

\n

شبکه نظامی

\n

مدل Bell-LaPadula

\n

مدل Biba

\n

ادغام مدلهای Biba و BLP

\n

منابع

\n

\n \n\n \n\n

---

\n\nقسمت ها و تکه های اتفاقی از فایل\n\n \n\nمدل Bell-LaPadula(ادامه)\n\nدیگر عملیاتها\n\nبر اساس مدل BLP،  همه عملیاتهای سیستم ماهیتی خواندنی یا نوشتنی دارند (alteration vs. observation)\n\nبه عنوان مثال عملیات از بین بردن شیء (destroy object)، از نوع نوشتنی است، چراکه منجر به تغییر حالت شیء می شود\n\nقوانین BLP ماهیت ”اگر“ (only if) دارند، چون تنها شرط لازمند\n\nss-property در مورد کاربران و برنامه ها مورد استفاده قرار می گیرد\n\nاما *-property  فقط در مورد برنامه هاست\n\nکاربری با برچسب امنیتی سری برای نوشتن در یک مستند طبقه بندی نشده می تواند به عنوان یک عامل طبقه بندی نشده وارد سیستم شود\n\nمدل Bell-LaPadula(ادامه)\n\nیک ایراد *-property این است که یک عامل طبقه بندی نشده می تواند در یک فایل سری بنویسد\n\nبرای جلوگیری از این مشکل جامعیت، خاصیت ستاره اصلاح شده (modified *-property) ارائه شده است که در آن λ(s) = λ(o)\n\n \n\nمدل Bell-LaPadula(ادامه)\n\nمدلهای کنترل دسترسی اجباری، مشکل کانالهای پنهان (covert channels) را حل نمی کنند\n\nیک عامل سری، می تواند مقدار زیادی حافظه در سیستم استفاده کند و یک عامل طبقه بندی نشده، می تواند با بررسی حافظه موجود، از این قضیه مطلع شود\n\nکانالهای پنهان یکی از مشکلات اساسی در خط مشی های جریان اطلاعات هستند\n\nمدلهای شبکه – مبنا مشکل کانال پنهان را مورد توجه قرار نداده اند\n\nاین مدلها به دنبال کنترل جریان اطلاعات بین اشیائی هستند که صریحا به منظور به اشتراک گذاری و ردوبدل اطلاعات طراحی شده اند\n\nمشکل جلوگیری از کانالهای پنهان، یک مساله مهندسی محسوب می گردد\n\nمدل Bell-LaPadula(ادامه)\n\nبر اساس فرض آرامش، برچسبهای امنیتی عاملها و اشیاء پس از انتساب اولیه تغییر نخواهد کرد\n\nمی توان این فرض را به طرق مختلفی راحت تر کرد\n\nمثلا، یک عامل می تواند برچسب امنیتی یک شیء را تغییر دهد به شرط آنکه λ(s) = λ(o) و λ’(o) > λ(o)\n\nاین یک تغییر امن است، چرا که منجر به جریان اطلاعات از سری به طبقه بندی نشده نمی گردد\n\n \n\nمدل Biba\n\nمفهوم اصلی در مدل Biba این است که اطلاعات با جامعیت پائین نباید به اشیاء با جامعیت بالا جریان یابند در حالی که عکس آن امکان پذیر است\n\nاطلاعات با جامعیت بالا در بالای شبکه قرار می گیرند و اطلاعات با جامعیت پائین در پائین شبکه و جریان اطلاعات از بالا به پائین است\n\nاین دقیقا عکس مدل BLP و اصول موضوعه Denning است\n\nمدل Biba\n\nاگر ω برچسبهای جامعیتی اشیاء و عاملها را نشان دهد، قوانین جامعیتی مدل Biba عبارتند از:\n\nخاصیت جامعیتی ساده (simple-integrity property): عامل s می تواند شیء o را بخواند اگر ω(s) ≤ ω(o)\n\nخاصیت ستاره جامعیتی (integrity *-property): عامل s می تواند در شیء o بنویسد اگر ω(s) ≥ ω(o)\n\nاین دو خصیصه همزاد خصیصه های معادل در BLP هستند\n\n \n\nادغام مدلهای Biba و BLP\n\nقرار دادن جامعیت بالا در بالای شبکه، امری قراردادی است\n\nتفاوت عمده ای بین مدلهای BLP و Biba وجود ندارد\n\nهر دو سعی در کنترل جریان در شبکه ای از کلاسهای امنیتی دارند که در آن جریان اطلاعات در شبکه تنها در یک جهت مجاز است\n\nاین جهت در مدل BLP رو به بالاست و در مدل Biba رو به پایین\n\nادغام مدلهای Biba و BLP (ادامه)\n\nدر محیطهایی که محرمانگی و جامعیت هردو مورد نظرند می توان مدلهای Biba و BLP را ادغام نمود\n\nاگر برای نمایش سطح جامعیت و امنیتی موجودیتها تنها از یک برچسب استفاده شود\n\nیک عامل تنها اجازه خواندن یا نوشتن در اشیائی را دارد که برچسبی برابر برچسب خود عامل دارند\n\nخط مشی کلاسهای مجزا\n\nبنابراین از دو برچسب امنیتی و جامعیتی استفاده می کنیم\n\n \n\n \n\n30 تا 70 درصد پروژه | پاورپوینت | سمینار | طرح های کارآفرینی و  توجیهی |  پایان-نامه |  پی دی اف  مقاله ( کتاب ) | نقشه | پلان طراحی |  های آماده به صورت رایگان میباشد ( word | pdf | docx | doc )