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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. In: 42nd Annual Symposium on Foundations of Computer Science, pp. 136–145. IEEE Computer Society (2001)
Blanchet, B.: Automatic verification of correspondences for security protocols. Journal of Computer Security 17(4), 363–434 (2009)
Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). Journal of Cryptology 15(2), 103–127 (2002)
Canetti, R., Herzog, J.: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. In: Halevi, S., Rabin, T. (eds.) TCC 2006. LNCS, vol. 3876, pp. 380–403. Springer, Heidelberg (2006)
Canetti, R., Gajek, S.: Universally composable symbolic analysis of Diffie-Hellman based key exchange, http://eprint.iacr.org/2010/303.pdf
Zhang, Z.J., Zhu, L.H., Liao, L.J.: Universally composable symbolic analysis of group key exchange protocol. China Communications 8(2), 59–65 (2011)
Zhang, Z.J., Zhu, L.H., Liao, L.J., Wang, M.Z.: Computationally Sound Symbolic Security Reduction Analysis of the Group Key Exchange Protocol using Bilinear Pairings. Information Sciences (2012), doi: http://dx.doi.org/10.1016/j.ins.2012.04.029
Trusted Computing Group, TNC Architecture for Interoperability, Specification Version 1.4, Revision 4 (2009), https://www.trustedcomputinggroup.org/specs/TNC
Trusted Computing Group, TNC IF-T: Protocol Bindings for Tunneled EAP Methods Specification Version 1.1, Revision 10 (2007), https://www.trustedcomputinggroup.org/specs/TNC
Trusted Computing Group, TCG Trusted network connect TNC IF-TNCCS Specification Version 1.1, Revision 10 (2007), https://www.trustedcomputinggroup.org/specs/TNC
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Z., Zhu, L., Wang, F., Liao, L., Guo, C., Wang, H. (2012). Computationally Sound Symbolic Analysis of EAP-TNC Protocol. In: Chen, L., Yung, M., Zhu, L. (eds) Trusted Systems. INTRUST 2011. Lecture Notes in Computer Science, vol 7222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32298-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-32298-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32297-6
Online ISBN: 978-3-642-32298-3
eBook Packages: Computer ScienceComputer Science (R0)