‫به نام خدا‬
49-49 ‫نیمسال دوم‬
‫دانشگاه صنعتی شریف‬
‫استاد درس‬
‫نام درس‬
‫دکتر امینی‬
‫روشهای صوری در امنیت اطالعات‬
‫موضوعات تحقیق‬
1131/12/21
‫ قابل قبول‬،‫ موضوعات پژوهشی دیگر نیز درصورت مرتبط و بروز بودن‬.‫موضوعات پیشنهادی برای پروژه نظری درس شامل موارد زیر میشود‬
.‫خواهد بود‬
1. Logic-based access control
2. Formalizing privacy
3. Logical specification and reasoning about obligations
4. Formal methods to source code security evaluation and assurance
5. Secure programming using type systems
6. Foundations of compositional security (formal specification and reasoning)
7. Verification of security protocols (techniques, tools, etc.)
8. Techniques and tools for verification of access control mechanisms against the models
9. Language based Security
10. Information flow control
11. Formal modeling of security-critical systems
12. Formal security analysis of systems
13. Formal modeling of trust relationships in distributed systems
14. Formal modelling tools for security
15. Formal Analysis of Anonymity
:‫تاریخهای مهم‬
Proposal
49/3/93
The title, abstract, and main references should be emailed to [email protected]
Oral presentation
‫دو جلسه آخر کالس‬
Understanding and introducing the research done in the chosen topic is important. You are not
supposed to have contribution or have an overall survey. The presentations should be in-depth
enough; however, they should not be seemed complex for student to understand.