eCite Digital Repository

MR2146569 (2006d:94047) Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 'Abstraction and resolution modulo AC: how to verify Diffie-Hellman-like protocols automatically

Citation

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]

Item Details

Item Type:Review Single Work
Research Division:Information and Computing Sciences
Research Group:Library and Information Studies
Research Field:Information Retrieval and Web Search
Objective Division:Manufacturing
Objective Group:Communication Equipment
Objective Field:Voice and Data Equipment
Author:Kelarev, AV (Dr Andrei Kelarev)
ID Code:40074
Year Published:2006
Funding Support:Australian Research Council (DP0449469)
Deposited By:Computing
Deposited On:2006-07-28
Last Modified:2006-07-28
Downloads:0

Repository Staff Only: item control page