Kelarev, AV, “MR2146569 (2006d:94047) Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 'Abstraction and resolution modulo AC: how to verify Diffie-Hellman-like protocols automatically”, Mathematical Review (MR) (2006) EJ (2006) [Review Single Work] |
Data Type | Value |
Type of Research | Strategic Basic Research |
Research Division | Information and Computing Sciences |
Research Group | Data management and data science |
Research Field | Information retrieval and web search |
Research Objective Division | Manufacturing |
Research Objective Group | Computer, electronic and communication equipment |
Research Objective Field | Voice and data equipment |
Visit Item on eCite | http://ecite.utas.edu.au/40074 |