‫به نام خدا‬
‫نیمسال دوم ‪49-49‬‬
‫دانشگاه صنعتی شریف‬
‫نام درس‬
‫استاد درس‬
‫روشهای صوری در امنیت اطالعات‬
‫دکتر امینی‬
‫تاریخ تعریف تمرین‬
‫مهلت تحویل‬
‫‪1232/13/32‬‬
‫‪1234/1/31‬‬
‫‪ .1‬همانطور که میدانید مدل ‪ ،BLP‬مدلی برای حفظ محرمانگی به حساب می آید‪ .‬ابتدا با مثالی نشان دهید که این مدل حافظ صحت‪ 1‬نیست‪،‬‬
‫سپس مدل را به نحوی گسترش دهید تا هر دو ویژگی محرمانگی و صحت را پوشش دهد‪.‬‬
‫‪.3‬‬
‫دو سیستم همروند و امن مبتنی بر ‪ BLP‬به صورت ) ‪ ∑(𝑅, 𝐷, 𝑊, 𝑧0‬و ) ‪ ∑(𝑅′, 𝐷′, 𝑊′, 𝑧′0‬وجود دارند‪ .‬درچه صورتی کل این سیستم‬
‫حافظ امنیت خواهند بود‪.‬‬
‫‪ .2‬فرض کنید سیستم ‪ ،Z‬سیستمی با حالت اولیه امن باشد و در آن تنها یک قاعده تعریف شده باشد‪:‬‬
‫زمانی که عامل ‪ S‬درخواست هرگونه دسترسی به شیئ ‪ O‬را داشته باشد‪ ،‬سطح امنیتی عامل و شیئ به پایین ترین سطح امنیتی‬
‫کاهش یافته و سپس حق دسترسی به کاربر اعطا میشود‪.‬‬
‫این سیستم را به صورت فرمال همانند ‪ BLP‬توصیف کرده و اثبات کنید این سیستم ‪ BLP Secure‬است‪.‬‬
‫‪.4‬‬
‫تفاوت دو ویژگی ‪ Safety‬و ‪ Liveness‬را به صورت فرمال بیان کنید (دیدگاههای مرتبط در مقاالت مختلف در این رابطه را بررسی و تحلیل‬
‫کرده و بهترین تعریف و مقایسه را به صورت فرمال ارائه دهید)‪ .‬خصوصیات بیان شده در مدل ‪ BLP‬مربوط به کدام یک از این دو ویژگی‬
‫میشوند؟ توضیح دهید‪.‬‬
‫نکات‪:‬‬
‫لطفاً فایل پاسخ خود را در قالب ‪ PDF‬درآورده و آن را به آدرس ‪ [email protected]‬ارسال نمایید‪ .‬عنوان نامه و نام فایل بهصورت‬
‫‪ HW2-FMS-Student Number‬باشد‪.‬‬
‫تأخیر در ارسال پاسخ‪ ،‬مشمول کسر نمره خواهد بود (‪ %51‬به ازای هرروز تأخیر)‪.‬‬
‫در صورت استفاده از منبع خاصی برای پاسخ به سؤال‪ ،‬حتماً اسم آن منبع ذکر گردد‪.‬‬
‫الزم است پاسخ ها به زبان فارسی باشد و در مواردی که توصیف فرمال خواسته شده است‪ ،‬ارائه فرمول ها به تنهایی‪ ،‬بدون تحلیل قابل قبول نخواهند‬
‫بود‪.‬‬
‫حل تمرینهای درس باید به صورت فردی صورت پذیرد‪ .‬پاسخ های گروهی مشمول کسر نمره خواهد بود‪.‬‬
‫در صورت بروز ابهام در مورد سؤاالت‪ ،‬میتوانید سؤاالت خود را به آدرس ‪ [email protected]‬بفرستید (لطفاً سؤاالت خود را تا ‪94‬‬
‫ساعت پیش از اتمام زمان ارسال تمرین بپرسید)‪.‬‬
‫‪Integrity‬‬
‫‪1‬‬