List of publications and notes:

1. Jalili, R., and Rezvani, M, "Analysis and Verification of Security Policy in Firewalls” Proceedings of Iranian Computer Society Conference (ICSC'2002), Iran Telecommnunication Center, February 2002.
   
   
2. Jalili, R. and Rezvani, M. "High Level Security Policy Specification in Firewalls”, Proceedings of the First Iranian Cryptography Conference, Imam Hossein University, Tehran, Iran, November 2002.
   
   
3. Rezvani, M., “High Level Security Policy Specification in Firewalls”, M.Sc. Thesis, Department of Computer Engineering, Sharif University of Technology, September 2001.
   
   
4. Rezvani, M, "A Formal Syntax and Semantics for Programming Languages”, Term Paper, Department of Computer Engineering, Sharif University of Technology, June 2001.
   
   
5. Rezvani, M, “Design and Implementing a Computerized Book for Internet Education”, B.Sc. Thesis, Department of Computer Engineering, Amir-Kabir University of Technology, September 1999.
   
   

Back to home