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: Chapter in Book/Report/Conference proceeding › Conference contribution

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)
Title of host publication	Conference Proceedings of the 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005
Editors	T. Dahlberg, R. Oliver, A. Sen, G. Xue
Pages	3-9
Number of pages	7
State	Published - Dec 12 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

@inproceedings{d6137b8d1d194bbd8614d86d20c526e0,

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",

month = dec,

day = "12",

language = "English (US)",

pages = "3--9",

editor = "T. Dahlberg and R. Oliver and A. Sen and G. Xue",

booktitle = "Conference Proceedings of the 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005",

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

}

Cheng, X, Ma, X, Cheng, M & Huang, SCH 2005, Proving secure properties of cryptographic protocols with knowledge based approach. in T Dahlberg, R Oliver, A Sen & G Xue (eds), Conference Proceedings of the 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005., 1a.1, pp. 3-9, 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005, Phoenix, AZ, United States, 4/7/05.

Proving secure properties of cryptographic protocols with knowledge based approach. / Cheng, Xiaochun; Ma, Xiaoqi; Cheng, Maggie et al.
Conference Proceedings of the 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005. ed. / T. Dahlberg; R. Oliver; A. Sen; G. Xue. 2005. p. 3-9 1a.1.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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/12/12

Y1 - 2005/12/12

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 - http://www.scopus.com/inward/record.url?scp=28444452988&partnerID=8YFLogxK

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

M3 - Conference contribution

AN - SCOPUS:28444452988

SP - 3

EP - 9

BT - Conference Proceedings of the 24th IEEE International Performance, Computing, and Communications Conference, IPCCC 2005

A2 - Dahlberg, T.

A2 - Oliver, R.

A2 - Sen, A.

A2 - Xue, G.

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