ANALYZING THE INTRUDER ROLE IN CRYPTOGRAPHIC PROTOCOLS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

TORK LADANI B.; JALILI S.

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TABRIZ) Year:2005 | Volume:32 | Issue:3 (40) ELECTRONICS Page(s): 1-14

Download Full-Text

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

Persian Verion

View:

1,030

Download:

Cites:

Information Journal Paper

Title

ANALYZING THE INTRUDER ROLE IN CRYPTOGRAPHIC PROTOCOLS

Author(s)

TORK LADANI B. | JALILI S. | Issue Writer Certificate

Keywords

CRYPTOGRAPHIC PROTOCOLSQ1

AUTHENTICATION PROTOCOLSQ1

FORMAL VERIFICATIONQ1

MASQUERADINGQ1

Abstract

In this paper a method for analyzing the role of the intruder and automatic exploration of possible attack scenarios in CRYPTOGRAPHIC PROTOCOLS is presented. In the presented method, the intruder’s capability for eavesdropping the protocol messages and using them to masquerade the protocol principals by means of a set of inference capabilities is modeled. Furthermore, the existence of a proper attack strategy as a general capability of an intelligent intruder for designing the attack scenario is considered in the model. The intruder strategy is based on finding proper instances of the protocol execution as a source of obtaining necessary attack information. Two important properties of the CRYPTOGRAPHIC PROTOCOLS (i.e. secrecy and authentication) can be analyzed using the presented method. To show the strength of the presented method, formal specification of the Woo-Lam authentication protocol and the way of finding an attack scenario against it is described as a sample.

Cites

No record.

References

مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری

Cite

APA: Copy

TORK LADANI, B., & JALILI, S.. (2005). ANALYZING THE INTRUDER ROLE IN CRYPTOGRAPHIC PROTOCOLS. JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TABRIZ), 32(3 (40) ELECTRONICS), 1-14. SID. https://sid.ir/paper/43788/en

Vancouver: Copy

TORK LADANI B., JALILI S.. ANALYZING THE INTRUDER ROLE IN CRYPTOGRAPHIC PROTOCOLS. JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TABRIZ)[Internet]. 2005;32(3 (40) ELECTRONICS):1-14. Available from: https://sid.ir/paper/43788/en

IEEE: Copy

B. TORK LADANI, and S. JALILI, “ANALYZING THE INTRUDER ROLE IN CRYPTOGRAPHIC PROTOCOLS,” JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TABRIZ), vol. 32, no. 3 (40) ELECTRONICS, pp. 1–14, 2005, [Online]. Available: https://sid.ir/paper/43788/en

Related Journal Papers