Year | DOI | Venue |
---|---|---|
1998 | 10.1109/LICS.1998.705638 | LICS |
Keywords | Field | DocType |
cryptographic protocols,logic,scattering,shape,authentication,computer networks,logic programming,calculus,formal logic | Signature (logic),Computational logic,Horn clause,Computer science,Multimodal logic,Description logic,Artificial intelligence,Hindsight bias,Dynamic logic (modal logic) | Conference |
ISBN | Citations | PageRank |
0-8186-8506-9 | 4 | 0.45 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roger M. Needham | 1 | 4648 | 2075.99 |