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


Announcments

  1391-11-03 January 22, 2013 09:47 AM  
Final Grades

You can find the final grades here.

The grades will be registered in the EDU system on Saturday.

  1391-10-16 January 05, 2013 07:24 PM  
I tried to write the answers of the most of the exercises. You can find the answers in the Resources section.

  1391-10-08 December 28, 2012 11:30 PM  
You can find your colleagues' presentations here.

  1391-10-04 December 24, 2012 05:48 PM  
All lecture notes and references have been uploaded!

  1391-10-03 December 23, 2012 09:42 AM  
Presentations

The presentation sessions will be held this Tuesday and Wednesday afternoon. The time table can be find here.
All the class students are supposed to participate in the presentation sessions.

  1391-09-12 December 02, 2012 05:00 PM  
All reference papers have been uploaded!

  1391-09-07 November 27, 2012 10:24 AM  
Lecture notes of Restrictiveness have been uploaded!

  1391-08-30 November 20, 2012 05:57 PM  
Lecture notes of Noninterference and Nondeducibility have been uploaded.

  1391-08-30 November 20, 2012 05:50 PM  
Sixth assignment has been uploaded in Assignments section. The deadline is 91-09-12.

  1391-08-15 November 05, 2012 05:58 PM  
Lecture notes of Denning model have been uploaded!

  1391-08-15 November 05, 2012 05:54 PM  
Research Project
You should select your topic in one of the introduced areas and present it in the class.

  1391-08-13 November 03, 2012 12:09 PM  
Lecture notes of BLP Model have been updated.

  1391-08-13 November 03, 2012 12:00 PM  
Fourth assignment has been uploaded in Assignments section. The deadline is 91-08-27.

  1391-08-01 October 22, 2012 05:40 PM  
Lecture notes of HRU model and first part of BLP model have been uploaded!

  1391-07-16 October 07, 2012 10:05 AM  
Lecture notes on Lapmson's model has been uploaded.

  1391-07-16 October 07, 2012 10:02 AM  
First chapter's lecture notes has been updated.

  1391-07-03 September 24, 2012 09:42 AM  
First chapter of the courseon the preliminaries has been uploaded. Find it in from Resources menu.

  1391-07-03 September 24, 2012 09:39 AM  
Happy New Semester!

Instructor:
Morteza Amini
(amini AT sharif)

3 Units
Sun , Tue, 13.30 - 15.00
Room: 007
















 This website is visited 14409 times since September 2012. Updated Tuesday 2015-04-07 12:05