Pashazadeh, Saeid, Faculty of Electrical and Computer Engineering, University of Tabriz, Iran, Islamic Republic of

• Vol 2, No 1 (2013) - Articles
  Modeling and Verification of Access Rights in Take-Grant Protection Model Using Colored Petri Nets
  Abstract  PDF
• Vol 2, No 5 (2013) - Articles
  Modeling Kerberos Authentication Protocol Using Colored Petri Net
  Abstract  PDF

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.