Computationally sound symbolic analysis of EAP-TNC protocol

Zijian Zhang; Liehuang Zhu; Feng Wang; Lejian Liao; Cong Guo; Hongyuan Wang

doi:10.1007/978-3-642-32298-3_8

Computationally sound symbolic analysis of EAP-TNC protocol

Zijian Zhang, Liehuang Zhu^*, Feng Wang, Lejian Liao, Cong Guo, Hongyuan Wang

^*Corresponding author for this work

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

2 Citations (Scopus)

Abstract

The Trusted Computing Group has proposed Trusted Network Connection (TNC) Architecture and a series of interface specifications, such as IF-T and IF-TNCCS, to solve the interoperability of network access control. In particular, IF-T describes the mapping of IF-TNCCS messages to a standard TNC Extensible Authentication Protocol (EAP) method. It includes specification of the standard EAP method called EAP-TNC. Since EAP-TNC is important to encapsulate TNCCS messages so that they can be carried over tunneled EAP methods, this paper proposes a computationally sound symbolic analysis of EAP-TNC protocol to prove composable security property.

Original language	English
Title of host publication	Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers
Pages	113-128
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-32298-3_8
Publication status	Published - 2012
Event	3rd International Conference on Trusted Systems, INTRUST 2011 - Beijing, China Duration: 27 Nov 2011 → 29 Nov 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7222 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Trusted Systems, INTRUST 2011
Country/Territory	China
City	Beijing
Period	27/11/11 → 29/11/11

Keywords

Computationally Sound
EAP-TNC
Trusted Computing
Trusted Network Connection

Access to Document

10.1007/978-3-642-32298-3_8

Cite this

Zhang, Z., Zhu, L., Wang, F., Liao, L., Guo, C., & Wang, H. (2012). Computationally sound symbolic analysis of EAP-TNC protocol. In Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers (pp. 113-128). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7222 LNCS). https://doi.org/10.1007/978-3-642-32298-3_8

@inproceedings{44741177193840588382575ff7848ca6,

title = "Computationally sound symbolic analysis of EAP-TNC protocol",

abstract = "The Trusted Computing Group has proposed Trusted Network Connection (TNC) Architecture and a series of interface specifications, such as IF-T and IF-TNCCS, to solve the interoperability of network access control. In particular, IF-T describes the mapping of IF-TNCCS messages to a standard TNC Extensible Authentication Protocol (EAP) method. It includes specification of the standard EAP method called EAP-TNC. Since EAP-TNC is important to encapsulate TNCCS messages so that they can be carried over tunneled EAP methods, this paper proposes a computationally sound symbolic analysis of EAP-TNC protocol to prove composable security property.",

keywords = "Computationally Sound, EAP-TNC, Trusted Computing, Trusted Network Connection",

author = "Zijian Zhang and Liehuang Zhu and Feng Wang and Lejian Liao and Cong Guo and Hongyuan Wang",

year = "2012",

doi = "10.1007/978-3-642-32298-3_8",

language = "English",

isbn = "9783642322976",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "113--128",

booktitle = "Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers",

note = "3rd International Conference on Trusted Systems, INTRUST 2011 ; Conference date: 27-11-2011 Through 29-11-2011",

}

Zhang, Z, Zhu, L, Wang, F, Liao, L, Guo, C & Wang, H 2012, Computationally sound symbolic analysis of EAP-TNC protocol. in Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7222 LNCS, pp. 113-128, 3rd International Conference on Trusted Systems, INTRUST 2011, Beijing, China, 27/11/11. https://doi.org/10.1007/978-3-642-32298-3_8

Computationally sound symbolic analysis of EAP-TNC protocol. / Zhang, Zijian; Zhu, Liehuang; Wang, Feng et al.
Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers. 2012. p. 113-128 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7222 LNCS).

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

TY - GEN

T1 - Computationally sound symbolic analysis of EAP-TNC protocol

AU - Zhang, Zijian

AU - Zhu, Liehuang

AU - Wang, Feng

AU - Liao, Lejian

AU - Guo, Cong

AU - Wang, Hongyuan

PY - 2012

Y1 - 2012

N2 - The Trusted Computing Group has proposed Trusted Network Connection (TNC) Architecture and a series of interface specifications, such as IF-T and IF-TNCCS, to solve the interoperability of network access control. In particular, IF-T describes the mapping of IF-TNCCS messages to a standard TNC Extensible Authentication Protocol (EAP) method. It includes specification of the standard EAP method called EAP-TNC. Since EAP-TNC is important to encapsulate TNCCS messages so that they can be carried over tunneled EAP methods, this paper proposes a computationally sound symbolic analysis of EAP-TNC protocol to prove composable security property.

AB - The Trusted Computing Group has proposed Trusted Network Connection (TNC) Architecture and a series of interface specifications, such as IF-T and IF-TNCCS, to solve the interoperability of network access control. In particular, IF-T describes the mapping of IF-TNCCS messages to a standard TNC Extensible Authentication Protocol (EAP) method. It includes specification of the standard EAP method called EAP-TNC. Since EAP-TNC is important to encapsulate TNCCS messages so that they can be carried over tunneled EAP methods, this paper proposes a computationally sound symbolic analysis of EAP-TNC protocol to prove composable security property.

KW - Computationally Sound

KW - EAP-TNC

KW - Trusted Computing

KW - Trusted Network Connection

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

U2 - 10.1007/978-3-642-32298-3_8

DO - 10.1007/978-3-642-32298-3_8

M3 - Conference contribution

AN - SCOPUS:84865684818

SN - 9783642322976

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 113

EP - 128

BT - Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers

T2 - 3rd International Conference on Trusted Systems, INTRUST 2011

Y2 - 27 November 2011 through 29 November 2011

ER -

Zhang Z, Zhu L, Wang F, Liao L, Guo C, Wang H. Computationally sound symbolic analysis of EAP-TNC protocol. In Trusted Systems - Third International Conference, INTRUST 2011, Revised Selected Papers. 2012. p. 113-128. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-32298-3_8

Computationally sound symbolic analysis of EAP-TNC protocol

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this