Lida Wang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Deepak Kapur, Paliath Narendran, Lida Wang: A Unification Algorithm for Analysis of Protocols with Blinded Signatures. Mechanizing Mathematical Reasoning 2005: 433-451

1 Deepak Kapur, Paliath Narendran, Lida Wang: An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. RTA 2003: 165-179

Selection of 2 from 2 records - Lida Wang has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Deepak Kapur, Paliath Narendran, Lida Wang: A Unification Algorithm for Analysis of Protocols with Blinded Signatures. Mechanizing Mathematical Reasoning 2005: 433-451
1		Deepak Kapur, Paliath Narendran, Lida Wang: An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. RTA 2003: 165-179