Automatic generation of public key cryptographic protocols based on SVO logic

Chen Xiao Mao; Wen Jian Luo; Xian Bin Cao; Xu Fa Wang

Automatic generation of public key cryptographic protocols based on SVO logic

Chen Xiao Mao^*
, Wen Jian Luo
, Xian Bin Cao
, Xu Fa Wang

^*Corresponding author for this work

University of Science and Technology of China

Research output: Contribution to journal › Article › peer-review

Abstract

An automatic generating approach for public key cryptographic protocols is presented SVO logic is used to describe and verify the protocols. Evolutionary strategy is used as the core generating algorithm. The approach can guarantee the security, increase the efficiency and reduce the redundancy of the generated protocols. The experimental results show that this approach is effective and of high efficiency.

Original language	English
Pages (from-to)	439-443
Number of pages	5
Journal	Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics
Volume	28
Issue number	3
State	Published - Mar 2006
Externally published	Yes

Keywords

Evolutionary strategy
Public key cryptography
SVO logic
Security protocol

Cite this

@article{f4aab3db997542269ec642f8c6ae8661,

title = "Automatic generation of public key cryptographic protocols based on SVO logic",

abstract = "An automatic generating approach for public key cryptographic protocols is presented SVO logic is used to describe and verify the protocols. Evolutionary strategy is used as the core generating algorithm. The approach can guarantee the security, increase the efficiency and reduce the redundancy of the generated protocols. The experimental results show that this approach is effective and of high efficiency.",

keywords = "Evolutionary strategy, Public key cryptography, SVO logic, Security protocol",

author = "Mao, \{Chen Xiao\} and Luo, \{Wen Jian\} and Cao, \{Xian Bin\} and Wang, \{Xu Fa\}",

year = "2006",

month = mar,

language = "英语",

volume = "28",

pages = "439--443",

journal = "Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics",

issn = "1001-506X",

publisher = "Chinese Institute of Electronics",

number = "3",

}

TY - JOUR

T1 - Automatic generation of public key cryptographic protocols based on SVO logic

AU - Mao, Chen Xiao

AU - Luo, Wen Jian

AU - Cao, Xian Bin

AU - Wang, Xu Fa

PY - 2006/3

Y1 - 2006/3

N2 - An automatic generating approach for public key cryptographic protocols is presented SVO logic is used to describe and verify the protocols. Evolutionary strategy is used as the core generating algorithm. The approach can guarantee the security, increase the efficiency and reduce the redundancy of the generated protocols. The experimental results show that this approach is effective and of high efficiency.

AB - An automatic generating approach for public key cryptographic protocols is presented SVO logic is used to describe and verify the protocols. Evolutionary strategy is used as the core generating algorithm. The approach can guarantee the security, increase the efficiency and reduce the redundancy of the generated protocols. The experimental results show that this approach is effective and of high efficiency.

KW - Evolutionary strategy

KW - Public key cryptography

KW - SVO logic

KW - Security protocol

UR - https://www.scopus.com/pages/publications/33646143029

M3 - 文章

AN - SCOPUS:33646143029

SN - 1001-506X

VL - 28

SP - 439

EP - 443

JO - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics

JF - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics

IS - 3

ER -

Automatic generation of public key cryptographic protocols based on SVO logic

Abstract

Keywords

Other files and links

Fingerprint

Cite this