Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-33167-1_5 | ESORICS |
Field | DocType | Citations |
Protocol analysis,Cryptographic protocol,Computer science,Unification,Irreducibility,Theoretical computer science,Reachability,Cryptosystem,Soundness,Completeness (statistics) | Conference | 9 |
PageRank | References | Authors |
0.67 | 21 | 10 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Serdar Erbatur | 1 | 20 | 5.35 |
| Santiago Escobar | 2 | 452 | 27.87 |
| Deepak Kapur | 3 | 2282 | 235.00 |
| Zhiqiang Liu | 4 | 18 | 1.81 |
| Christopher Lynch | 5 | 27 | 3.62 |
| Catherine Meadows | 6 | 928 | 89.05 |
| José Meseguer | 7 | 9533 | 805.39 |
| Paliath Narendran | 8 | 1100 | 114.99 |
| S. Santiago | 9 | 54 | 4.45 |
| Ralf Sasse | 10 | 133 | 9.97 |