Proving secure properties of cryptographic protocols with knowledge based approach

Xiaochun Cheng; Xiaoqi Ma; Maggie Cheng; Scott C.H. Huang

Proving secure properties of cryptographic protocols with knowledge based approach

Xiaochun Cheng
, Xiaoqi Ma
, Maggie Cheng
, Scott C.H. Huang

Research output: Contribution to conference › Paper › peer-review

Abstract

Cryptographic protocols have been widely used to protect communications over insecure network environments. Existing cryptographic protocols usually contain flaws. To analyze these protocols and find potential flaws in them, the secure properties of them need be studied in depth. This paper attempts to provide a new framework to analyze and prove the secure properties in these protocols. A number of predicates and action functions are used to model the network communication environment. Domain rules are given to describe the transitions of principals' knowledge and belief states. An example of public key authentication protocols has been studied and analysed.

Original language	English (US)
Pages	3-9
Number of pages	7
State	Published - 2005
Externally published	Yes
Event	24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005 - Phoenix, AZ, United States Duration: Apr 7 2005 → Apr 9 2005

Other

Other	24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005
Country/Territory	United States
City	Phoenix, AZ
Period	4/7/05 → 4/9/05

All Science Journal Classification (ASJC) codes

General Engineering

Cite this

@conference{120bf85bace948dba990bf6238d146d2,

title = "Proving secure properties of cryptographic protocols with knowledge based approach",

abstract = "Cryptographic protocols have been widely used to protect communications over insecure network environments. Existing cryptographic protocols usually contain flaws. To analyze these protocols and find potential flaws in them, the secure properties of them need be studied in depth. This paper attempts to provide a new framework to analyze and prove the secure properties in these protocols. A number of predicates and action functions are used to model the network communication environment. Domain rules are given to describe the transitions of principals' knowledge and belief states. An example of public key authentication protocols has been studied and analysed.",

author = "Xiaochun Cheng and Xiaoqi Ma and Maggie Cheng and Huang, \{Scott C.H.\}",

year = "2005",

language = "English (US)",

pages = "3--9",

note = "24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005 ; Conference date: 07-04-2005 Through 09-04-2005",

}

TY - CONF

T1 - Proving secure properties of cryptographic protocols with knowledge based approach

AU - Cheng, Xiaochun

AU - Ma, Xiaoqi

AU - Cheng, Maggie

AU - Huang, Scott C.H.

PY - 2005

Y1 - 2005

N2 - Cryptographic protocols have been widely used to protect communications over insecure network environments. Existing cryptographic protocols usually contain flaws. To analyze these protocols and find potential flaws in them, the secure properties of them need be studied in depth. This paper attempts to provide a new framework to analyze and prove the secure properties in these protocols. A number of predicates and action functions are used to model the network communication environment. Domain rules are given to describe the transitions of principals' knowledge and belief states. An example of public key authentication protocols has been studied and analysed.

AB - Cryptographic protocols have been widely used to protect communications over insecure network environments. Existing cryptographic protocols usually contain flaws. To analyze these protocols and find potential flaws in them, the secure properties of them need be studied in depth. This paper attempts to provide a new framework to analyze and prove the secure properties in these protocols. A number of predicates and action functions are used to model the network communication environment. Domain rules are given to describe the transitions of principals' knowledge and belief states. An example of public key authentication protocols has been studied and analysed.

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

UR - https://www.scopus.com/pages/publications/28444452988#tab=citedBy

M3 - Paper

AN - SCOPUS:28444452988

SP - 3

EP - 9

T2 - 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005

Y2 - 7 April 2005 through 9 April 2005

ER -

Proving secure properties of cryptographic protocols with knowledge based approach

Abstract

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this