Formal testing cryptographic protocols

Abstract

For last 60 years in cryptography new directions have appeared. One of such directions is cryptographic protocols (CP). Now cryptographic protocols are widely used In Information technologies. They solve such problems as division of a secret, identification, authentication, the blind signature, maintenance of integrity, etc. Construction CP is complexity problem. It is necessary to construct CP in such a manner that he completely would execute the function, and any malefactor could not prevent in correct performance CP, and also take the confidential information from intercepted messages between participants of the protocol. Therefore now the problem of analysis CP which will show weaknesses (vulnerability) CP is actual. As a result of the carried out analysis it becomes possible or to correct found vulnerability, or to refuse use CP. Words "testing" and "the analysis" we shall count synonyms.

Original language	English
Title of host publication	6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005
Pages	236-237
Number of pages	2
Volume	2005
Publication status	Published - 1 Dec 2005
Event	6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005 - Erlagol, Altai, Russian Federation Duration: 1 Jul 2005 → 5 Jul 2005

Conference

Conference	6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005
Country	Russian Federation
City	Erlagol, Altai
Period	1.7.05 → 5.7.05

Keywords

Cryptography protocol
Protocol
Testing

ASJC Scopus subject areas

Engineering(all)

Access to Document

Fingerprint Dive into the research topics of 'Formal testing cryptographic protocols'. Together they form a unique fingerprint.

Cite this

Igumnov, V. S. (2005). Formal testing cryptographic protocols. In 6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005 (Vol. 2005, pp. 236-237). [1523251]

@inproceedings{5ea846c192dd4d07aa17602b13923a00,

title = "Formal testing cryptographic protocols",

abstract = "For last 60 years in cryptography new directions have appeared. One of such directions is cryptographic protocols (CP). Now cryptographic protocols are widely used In Information technologies. They solve such problems as division of a secret, identification, authentication, the blind signature, maintenance of integrity, etc. Construction CP is complexity problem. It is necessary to construct CP in such a manner that he completely would execute the function, and any malefactor could not prevent in correct performance CP, and also take the confidential information from intercepted messages between participants of the protocol. Therefore now the problem of analysis CP which will show weaknesses (vulnerability) CP is actual. As a result of the carried out analysis it becomes possible or to correct found vulnerability, or to refuse use CP. Words {"}testing{"} and {"}the analysis{"} we shall count synonyms.",

keywords = "Cryptography protocol, Protocol, Testing",

author = "Igumnov, {Vladislav S.}",

year = "2005",

month = dec,

day = "1",

language = "English",

isbn = "5778204914",

volume = "2005",

pages = "236--237",

booktitle = "6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005",

note = "6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005 ; Conference date: 01-07-2005 Through 05-07-2005",

}

TY - GEN

T1 - Formal testing cryptographic protocols

AU - Igumnov, Vladislav S.

PY - 2005/12/1

Y1 - 2005/12/1

N2 - For last 60 years in cryptography new directions have appeared. One of such directions is cryptographic protocols (CP). Now cryptographic protocols are widely used In Information technologies. They solve such problems as division of a secret, identification, authentication, the blind signature, maintenance of integrity, etc. Construction CP is complexity problem. It is necessary to construct CP in such a manner that he completely would execute the function, and any malefactor could not prevent in correct performance CP, and also take the confidential information from intercepted messages between participants of the protocol. Therefore now the problem of analysis CP which will show weaknesses (vulnerability) CP is actual. As a result of the carried out analysis it becomes possible or to correct found vulnerability, or to refuse use CP. Words "testing" and "the analysis" we shall count synonyms.

AB - For last 60 years in cryptography new directions have appeared. One of such directions is cryptographic protocols (CP). Now cryptographic protocols are widely used In Information technologies. They solve such problems as division of a secret, identification, authentication, the blind signature, maintenance of integrity, etc. Construction CP is complexity problem. It is necessary to construct CP in such a manner that he completely would execute the function, and any malefactor could not prevent in correct performance CP, and also take the confidential information from intercepted messages between participants of the protocol. Therefore now the problem of analysis CP which will show weaknesses (vulnerability) CP is actual. As a result of the carried out analysis it becomes possible or to correct found vulnerability, or to refuse use CP. Words "testing" and "the analysis" we shall count synonyms.

KW - Cryptography protocol

KW - Protocol

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=33749072535&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749072535&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33749072535

SN - 5778204914

SN - 9785778204911

VL - 2005

SP - 236

EP - 237

BT - 6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005

T2 - 6th Annual International Siberian Workshop and Tutorials on Electron Devices and Materials, EDM 2005

Y2 - 1 July 2005 through 5 July 2005

ER -