Browsing Non-traditional Outputs by Author "Yi Ping, Chen"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Non-traditional Outputs by Author "Yi Ping, Chen"

Sort by: Order: Results:

  • 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 ...