Browsing by Author "Chen, Qingfeng"

UTSePress Research/Manakin Repository

Search UTSePress Research

Browse

My Account

Browsing by Author "Chen, Qingfeng"

Sort by: Order: Results:

  • Chen, Qingfeng; Zhang, Shichao (Springer-Verlag Berlin, 2004)
  • Chen, Qingfeng; Chen, Phoebe; Zhang, Shichao; Zhang, Chengqi (Springer-Verlag Berlin, 2006)
    Security protocols have been widely used to safeguard secure electronic transactions. We usually assume that principals are credible and shall not maliciously disclose their individual secrets to someone else. Nevertheless, ...
  • Chen, Qingfeng; Chen, Phoebe; Zhang, Shichao; Zhang, Chengqi (Springer, 2006)
  • Chen, Qingfeng; Chen, Phoebe; Zhang, Chengqi (Springer, 2007)
    The rapid growth of life science databases demands the fusion of knowledge from heterogeneous databases to answer complex biological questions. The discrepancies in nomenclature, various schemas and incompatible formats ...
  • Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao (Springer London Ltd, 2005)
    This paper proposes a new logic for verifying secure transaction protocols. We have named this logic the ENDL (extension of non-monotonic dynamic logic). In this logic, timestamps and signed certificates are used for ...
  • Chen, Qingfeng; Yi Ping, Chen; Zhang, Chengqi; Zhang, Shichao (IEEE, 2005)
    This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts ...
  • Chen, Qingfeng; Zhang, Shichao; Chen, Phoebe (Springer, 2007)
    Collusion attack has been recognized as a key issue in e-commerce systems and increasingly attracted peoplea??s attention for quite some time in the literatures of information security. Regardless of the wide application ...
  • Zhang, Shichao; Chen, Qingfeng; Jin, Zhi; Wang, Ruili (Elsevier Science, 2009)
    A class-bridge rule is the rule whose antecedent and consequent belong to different conceptual classes. This kind of rules stands for the correlation between conceptual classes. The study on class-bridge rules can benefit ...
  • Chen, Qingfeng; Chen, Phoebe; Zhang, Chengqi; Li, Lianggang (Springer, 2006)
    Protein kinases, a family of enzymes, have been viewed as an important signaling intermediary by living organisms for regulating critical biological processes such as memory, hormone response and cell growth. The unbalanced ...
  • Chen, Qingfeng; Zhang, Shichao; Chen, Phoebe (IOS Press, 2008)
    Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and ...
  • Li, Chunsheng; Zhang, Chengqi; Chen, Qingfeng; Zhang, Zili (University of Canberra, 2003)
  • Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao (Springer, 2008)
    Security protocols (cryptographic protocol) have been widely used to not only achieve traditional goals of data confidentiality, integrity and authentication, but also secure a variety of other desired characteristics of ...
  • Chen, Qingfeng; Zhang, Chengqi (Beijing Institute of Technology Press, 2002)
  • Chen, Qingfeng; Zhang, Chengqi (Peoples Posts and Telecommunications Publishing House, 2002)
  • Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao (Springer-Verlag Berlin, 2004)
    Electronic transaction protocols have been found with subtle flaws. Recently, model checking has been used to verify electronic transaction protocols for the limitations of low efficiency and error prone in the traditional ...
  • Chen, Qingfeng; Zhang, Chengqi; Lu, Jie (CSREA Press, 2002)
  • Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao (Springer-Verlag Berlin Heidelberg, 2003)
    The Secure Electronic Transaction (SET) protocol is a protocol designed to conduct safe business over Internet. We present formal verification of the Payment Authorization in SET by using ENDL (extension of non-monotonic ...
  • Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao; Li, Chunsheng (Springer-Verlag Berlin Heidelberg, 2003)
    The Secure Electronic Transaction (SET) protocol has been jointly developed by Visa and MasterCard toward achieving secure online-transactions. This paper presents formal verification of the Purchase Request phase of SET, ...