Requirements for security protocols

Wuu Yang; Rong Hong Jan

Requirements for security protocols

Wuu Yang^*, Rong Hong Jan

^*Corresponding author for this work

Department of Computer Science

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

1 Scopus citations

Abstract

A correct security protocol should satisfy four requirements: no-intrusion, authenticity, freshness, and secrecy. We divide the four requirements into two groups (one for no-intrusion, authenticity, and freshness and the other for secrecy). For the former we use the message-exchange forms and for the latter, we use the p-knows and n-knows information that is inferred from a latest topological orders of the trigger-graph. Based on these methods, flaws and weaknesses hidden in an imperfect security protocol could be uncovered.

Original language	English
Pages (from-to)	1576-1581
Number of pages	6
Journal	WSEAS Transactions on Computers
Volume	5
Issue number	7
State	Published - 1 Jul 2006

Keywords

Authentication
Authentication protocol
Computer communication
Computer security
Security protocol
Verification

Cite this

@article{c258645e2a9c4e8ca1ce815de85c84ed,

title = "Requirements for security protocols",

abstract = "A correct security protocol should satisfy four requirements: no-intrusion, authenticity, freshness, and secrecy. We divide the four requirements into two groups (one for no-intrusion, authenticity, and freshness and the other for secrecy). For the former we use the message-exchange forms and for the latter, we use the p-knows and n-knows information that is inferred from a latest topological orders of the trigger-graph. Based on these methods, flaws and weaknesses hidden in an imperfect security protocol could be uncovered.",

keywords = "Authentication, Authentication protocol, Computer communication, Computer security, Security protocol, Verification",

author = "Wuu Yang and Jan, {Rong Hong}",

year = "2006",

month = jul,

day = "1",

language = "English",

volume = "5",

pages = "1576--1581",

journal = "WSEAS Transactions on Computers",

issn = "1109-2750",

publisher = "World Scientific and Engineering Academy and Society",

number = "7",

}

TY - JOUR

T1 - Requirements for security protocols

AU - Yang, Wuu

AU - Jan, Rong Hong

PY - 2006/7/1

Y1 - 2006/7/1

N2 - A correct security protocol should satisfy four requirements: no-intrusion, authenticity, freshness, and secrecy. We divide the four requirements into two groups (one for no-intrusion, authenticity, and freshness and the other for secrecy). For the former we use the message-exchange forms and for the latter, we use the p-knows and n-knows information that is inferred from a latest topological orders of the trigger-graph. Based on these methods, flaws and weaknesses hidden in an imperfect security protocol could be uncovered.

AB - A correct security protocol should satisfy four requirements: no-intrusion, authenticity, freshness, and secrecy. We divide the four requirements into two groups (one for no-intrusion, authenticity, and freshness and the other for secrecy). For the former we use the message-exchange forms and for the latter, we use the p-knows and n-knows information that is inferred from a latest topological orders of the trigger-graph. Based on these methods, flaws and weaknesses hidden in an imperfect security protocol could be uncovered.

KW - Authentication

KW - Authentication protocol

KW - Computer communication

KW - Computer security

KW - Security protocol

KW - Verification

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

M3 - Article

AN - SCOPUS:33745493250

SN - 1109-2750

VL - 5

SP - 1576

EP - 1581

JO - WSEAS Transactions on Computers

JF - WSEAS Transactions on Computers

IS - 7

ER -

Requirements for security protocols

Abstract

Keywords

Other files and links

Fingerprint

Cite this