Formal Methods for Information Security 40795 
  CE Department- Sharif University of Technology Fall - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources

Course Syllabus

 Formal Methods for Information Security - 40795
  • Credit: 3 Units
  • Semester: Fall
  • Group:  1
  • Lecture Class:  Sun , Tue, 13.30 - 15.00
  • Room:  007

 Text Book(s)
    Some papers and Technical reports:
    - D. E. Bell and L. J. La Padula, “Secure Computer System: Unified exposition and Multics interpretation”, Technical Report ESD-TR-75-306, Mitre Corporation, Bedford, MA, March 1976.
    - M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, “A Calculus for Access Control in Distributed Systems”, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4, pp. 706-734, 1993.
    - D.F. Ferraiolo, R. Sandhu, S. Gavrila, D.R. Kuhn, R. Chandramouli, “Proposed NIST Standard for Role-Based Access Control”, ACM Transactions on Information and System Security (TISSEC), Vol. 4, No. 3, pp. 224-274, ACM Press, 2001.
    - D. Wijesekera and S. Jajodia, “A Propositional Policy Algebra for Access Control”, ACM Transactions on Information and System Security, Vol. 6, No. 2, pp. 286-325, ACM Press, 2003.
    - J.M. Rushby, “Noninterference, Transitivity, and Channel Control Security Policies”, Technical Report CSL-92-02, SRI International, 1992.
    - K.J. Biba, “Integrity Considerations for Secure Computing Systems”, Technical Report TR-3153, Mitre Corporation, Bedford, MA, April 1977.
    - D. E. Denning, “A Lattice Model of Secure Information Flow”, Communication of the ACM, Vol. 19, No. 5, pp. 236-243, 1976.
    - M. Burrows, M. Abadi, and R. Needham, “A Logic of Authentication”, ACM Transactions on Computer Systems, Vol. 8, pp. 18-36, 1990.

 Instructor

 Teacher Assistants
  •  Ahmad Javadi

 Evaluation [Grading Policy ]
    - Mid-term Exam (35%)
    - Final Exam (25%)
    - Assignments (15%)
    - Research Project (20%)
    - Class Activities (5%)

 This website is visited 15819 times since September 2012. Updated Monday 2020-09-07 09:21