‫به نام خدا‬
‫دانشگاه صنعتی شریف‬
94-95 ‫نیمسال دوم‬
‫استاد درس‬
‫نام درس‬
‫دکتر امینی‬
‫روشهای صوری در امنیت اطالعات‬
‫مهلت تحویل‬
‫تاریخ تعریف موضوعات‬
139۵/۰3/۴
139۵/۰۲/۲۶
‫ دو جلسه آخر کالس‬:‫زمان ارائه نهایی‬
‫ موضوعات پژوهشی دیگر نیز در‬.‫ موضوعات پیشنهادی برای پروژه تحقیقاتی درس شامل موارد زیر است‬.1
.‫صورت مرتبط بودن و بروز بودن قابل قبول خواهد بود‬
 Verification of Security Protocols
 Analyzing Security Property of Android Application Implementation Using
Formal Method
 Security architectures using formal methods
 Formally Analyzing Software Vulnerability Based on Model Checking
 Logic-based access control
 Formalizing privacy
 Logical specification and reasoning about obligations
 Secure programming using type systems
 Foundations of compositional security (formal specification and reasoning)
 Techniques and tools for verification of access control mechanisms
 Language based Security
 Information flow control
 Formal modeling of security-critical systems
 Formal security analysis of systems
 Formal modeling of trust relationships in distributed systems
 Formal modelling tools for security

Formal Analysis of Anonymity
‫نکات مهم در مورد تحویل تکلیف‪:‬‬
‫●‬
‫پروژه میتواند بصورت انفرادی و یا در قالب گروههای دونفره انجام شود‪.‬‬
‫●‬
‫مستند پیشنهاد پژوهشی (حاوی عنوان‪ ،‬چکیده و مراجع مورد استفاده) را‬
‫در قالب ‪ PDF‬به آدرس‬
‫‪ [email protected]‬و با عنوان {‪ FMS-942-Proposal-{StudentNumbers‬ارسال نمایید‪.‬‬
‫●‬
‫در صورت بروز ابهام‪ ،‬میتوانید سؤاالت خود را حداکثر تا ‪ 24‬ساعت قبل از مهلت ارائه به آدرس‬
‫‪ [email protected]‬ارسال نمایید‪.‬‬
‫●‬
‫سؤاالت خود را به زبان فارسی یا انگلیسی پرسیده و از به کار بردن فینگلیش خودداری فرمائید‪.‬‬
‫●‬
‫هر روز تأخیر در ارسال پاسخ مشمول ‪ ۱5‬درصد کسر نمره خواهد گردید‪.‬‬
‫●‬
‫پروپورال بایستی فقط یکبار فرستاده شود‪ .‬در صورت ارسال چندین نسخه در زمانهای مختلف‪ ،‬فقط نسخة آخر‬
‫بررسی میشود‪.‬‬
‫●‬
‫حداکثر تعداد صفحات بایستی ‪ 2‬صفحه باشد‪.‬‬
‫●‬
‫در صورت نقض هر کدام از نکات گفته شده‪ ،‬نمره کسر میگردد‪.‬‬
‫موفق باشید‪.‬‬