مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

194
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

88
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

FROM THE EDITOR-IN-CHIEF (EDITORIAL)

Pages

  1-2

Keywords

Not Registered.

Abstract

 Welcome to the first issue of the eighth volume of the journal. In this issue, we publish six regular papers as well as a single page per paper incorporating the translation of the title and abstract in Persian, to be used by Persian indexing centers.Our invited authors in the first paper of this issue review two formal approaches in verification of security protocols; model checking and theorem proving. In this paper, Scyther operational semantics is explained as a model checking approach, and some of the famous security protocols are modelled and verified using this method. Moreover, the notion \Glass Pipe" is discussed to describe the meaning of authentication, and a deduction system is provided to formally define the notion. Finally, using this deduction system, some of famous protocols are verified, and the results are compared with the results of Scyther model checker...

Cites

  • No record.
  • References

  • No record.
  • Cite

    APA: Copy

    AREF, MOHAMMAD REZA. (2016). FROM THE EDITOR-IN-CHIEF (EDITORIAL). THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 8(1 ), 1-2. SID. https://sid.ir/paper/709109/en

    Vancouver: Copy

    AREF MOHAMMAD REZA. FROM THE EDITOR-IN-CHIEF (EDITORIAL). THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY[Internet]. 2016;8(1 ):1-2. Available from: https://sid.ir/paper/709109/en

    IEEE: Copy

    MOHAMMAD REZA AREF, “FROM THE EDITOR-IN-CHIEF (EDITORIAL),” THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, vol. 8, no. 1 , pp. 1–2, 2016, [Online]. Available: https://sid.ir/paper/709109/en

    Related Journal Papers

  • No record.
  • Related Seminar Papers

  • No record.
  • Related Plans

  • No record.
  • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button