Search

Your search keyword '"Chen, Liqun"' showing total 24 results
Start Over Author "Chen, Liqun" Topic trusted computing

Refine your results

more »

more »

24 results on '"Chen, Liqun"'

1. Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols

Author

Fotiadis, Georgios, Moreira, José, Giannetsos, Thanassis, Chen, Liqun, Rønne, Peter B., Ryan, Mark D., Ryan, Peter Y. A., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Roman, Rodrigo, editor, and Zhou, Jianying, editor

Published
2021
Full Text
View/download PDF

2. Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes

Author

Smyth, Ben, Ryan, Mark, Chen, Liqun, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Barthe, Gilles, editor, Datta, Anupam, editor, and Etalle, Sandro, editor

Published
2012
Full Text
View/download PDF

3. On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA)

Author

Leung, Adrian, Chen, Liqun, Mitchell, Chris J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lipp, Peter, editor, Sadeghi, Ahmad-Reza, editor, and Koch, Klaus-Michael, editor

Published
2008
Full Text
View/download PDF

4. Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators

Author

Smyth, Ben, Ryan, Mark, Chen, Liqun, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Stajano, Frank, editor, Meadows, Catherine, editor, Capkun, Srdjan, editor, and Moore, Tyler, editor

Published
2007
Full Text
View/download PDF

6. 07421 Abstracts Collection ��� Formal Protocol Verification Applied

Author

Chen, Liqun, Kremer, Steve, and Ryan, Mark D.

Subjects
security of mobile computing, biometrics, electronic voting, trusted computing, formal verification, payment systems, Security protocols
Abstract

From 14/10/2007 to 19/10/2007, the Dagstuhl Seminar 07421 ``Formal Protocol Verification Applied'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Published
2008
Full Text
View/download PDF

7. 07421 Executive Summary ��� Formal Protocol Verification Applied

Author

Chen, Liqun, Kremer, Steve, and Ryan, Mark D.

Subjects
security of mobile computing, biometrics, electronic voting, trusted computing, formal verification, payment systems, Security protocols
Abstract

Security protocols are a core part of distributed computing systems, and are part of our everyday life since they are used in web servers, email, mobile phones, bank transactions, etc. However, security protocols are notoriously difficult to get right. There are many cases of protocols which are proposed and considered secure for many years, but later found to have security flaws. Formal methods offer a promising way for automated security analysis of protocols. While there have been considerable advances in this area, most techniques have only been applied to academic case studies and security properties such as secrecy and authentication. The seminar brought together researchers deploying security protocols in new application areas, cryptographers, and researchers from formal methods who analyse security protocols. The interaction between researchers from these different communities aims to open new research topics, e.g., identify new security properties that need verification and refine abstractions of the abstract models of crytpographic primitives.

Published
2008
Full Text
View/download PDF

8. TZ-IMA: Supporting Integrity Measurement for Applications with ARM TrustZone

Author

Song, Liantao, Ding, Yan, Dong, Pan, Guo, Yong, Wang, Chuang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Alcaraz, Cristina, editor, Chen, Liqun, editor, Li, Shujun, editor, and Samarati, Pierangela, editor

Published
2022
Full Text
View/download PDF

9. Formal analysis of privacy in Direct Anonymous Attestation schemes.

Author

Smyth, Ben, Ryan, Mark D., and Chen, Liqun

Subjects
*MATHEMATICAL equivalence, *RSA algorithm, *COMPUTER security, *DATA privacy, *COMPUTER network protocols, *CRYPTOGRAPHY
Abstract

This article introduces a definition of privacy for Direct Anonymous Attestation schemes. The definition is expressed as an equivalence property which is suited to automated reasoning using Blanchet's ProVerif. The practicality of the definition is demonstrated by analysing the RSA-based Direct Anonymous Attestation protocol by Brickell, Camenisch & Chen. The analysis discovers a vulnerability in the RSA-based scheme which can be exploited by a passive adversary and, under weaker assumptions, corrupt issuers and verifiers. A security fix is identified and the revised protocol is shown to satisfy our definition of privacy. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

10. SSUKey: A CPU-Based Solution Protecting Private Keys on Untrusted OS

Author

Li, Huorong, Pan, Wuqiong, Lin, Jingqiang, Cheng, Wangzhao, Li, Bingyu, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Qing, Sihan, editor, Mitchell, Chris, editor, Chen, Liqun, editor, and Liu, Dongmei, editor

Published
2018
Full Text
View/download PDF

11. A Security-Enhanced vTPM 2.0 for Cloud Computing

Author

Wang, Juan, Xiao, Feng, Huang, Jianwei, Zha, Daochen, Fan, Chengyang, Hu, Wei, Zhang, Huanguo, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Qing, Sihan, editor, Mitchell, Chris, editor, Chen, Liqun, editor, and Liu, Dongmei, editor

Published
2018
Full Text
View/download PDF

12. Towards Decentralized Accountability and Self-sovereignty in Healthcare Systems

Author

Liang, Xueping, Shetty, Sachin, Zhao, Juan, Bowden, Daniel, Li, Danyi, Liu, Jihong, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Qing, Sihan, editor, Mitchell, Chris, editor, Chen, Liqun, editor, and Liu, Dongmei, editor

Published
2018
Full Text
View/download PDF

13. DAA Protocol Analysis and Verification

Author

Qin, Yu, Chu, Xiaobo, Feng, Dengguo, Feng, Wei, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, Yung, Moti, editor, and Zhu, Liehuang, editor

Published
2012
Full Text
View/download PDF

14. Computationally Sound Symbolic Analysis of EAP-TNC Protocol

Author

Zhang, Zijian, Zhu, Liehuang, Wang, Feng, Liao, Lejian, Guo, Cong, Wang, Hongyuan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, Yung, Moti, editor, and Zhu, Liehuang, editor

Published
2012
Full Text
View/download PDF

15. Building General Purpose Security Services on Trusted Computing

Author

Chen, Chunhua, Mitchell, Chris J., Tang, Shaohua, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, Yung, Moti, editor, and Zhu, Liehuang, editor

Published
2012
Full Text
View/download PDF

16. Interoperable Remote Attestation for VPN Environments : (Work in Progress)

Author

Bente, Ingo, Hellmann, Bastian, Vieweg, Joerg, von Helden, Josef, Welzel, Arne, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2011
Full Text
View/download PDF

17. Seamless Integration of Trusted Computing into Standard Cryptographic Frameworks

Author

Reiter, Andreas, Neubauer, Georg, Kapfenberger, Michael, Winter, Johannes, Dietrich, Kurt, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2011
Full Text
View/download PDF

18. Addressing Leakage of Re-encryption Key in Proxy Re-encryption Using Trusted Computing

Author

Yang, Yanjiang, Gu, Liang, Bao, Feng, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2011
Full Text
View/download PDF

19. Privacy Enhanced Trusted Network Connect

Author

Bente, Ingo, Vieweg, Joerg, von Helden, Josef, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2010
Full Text
View/download PDF

20. Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation

Author

Dietrich, Kurt, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2010
Full Text
View/download PDF

21. Remote Attestation on Function Execution (Work-in-Progress)

Author

Gu, Liang, Cheng, Yueqiang, Ding, Xuhua, Deng, Robert H., Guo, Yao, Shao, Weizhong, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, and Yung, Moti, editor

Published
2010
Full Text
View/download PDF

22. A PrivacyCA for Anonymity and Trust

Author

Pirker, Martin, Toegl, Ronald, Hein, Daniel, Danner, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chen, Liqun, editor, Mitchell, Chris J., editor, and Martin, Andrew, editor

Published
2009
Full Text
View/download PDF

23. Securing Peer-to-Peer Distributions for Mobile Devices

Author

Osterhues, André, Sadeghi, Ahmad-Reza, Wolf, Marko, Stüble, Christian, Asokan, N., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chen, Liqun, editor, Mu, Yi, editor, and Susilo, Willy, editor

Published
2008
Full Text
View/download PDF

24. Building general purpose security services on trusted computing

Author

Chris J. Mitchell, Shaohua Tang, Chunhua Chen, Chen, Liqun, Yung, Moti, and Zhu, Liehuang

Subjects
Cloud computing security, Computer science, Faculty of Science\Mathematics, Research Groups and Centres\Information Security\ Information Security Group, Trusted Computing, Computer security model, Trusted Network Connect, Computer security, computer.software_genre, Security information and event management, Security service, Distributed System Security Architecture, Security convergence, computer
Abstract

The Generic Authentication Architecture (GAA) is a standardised extension to the mobile telephony security infrastructures (including the Universal Mobile Telecommunications System (UMTS) authentication infrastructure) that supports the provision of generic security services to network applications. In this paper we propose one possible means for extending the widespread Trusted Computing security infrastructure using a GAA-like framework. This enables an existing security infrastructure to be used as the basis of a general-purpose authenticated key establishment service in a simple and uniform way, and also provides an opportunity for trusted computing aware third parties to provide novel security services. We also discuss trust issues and possible applications of GAA services.

Published
2012

Catalog

Books, media, physical & digital resources
See catalog results