Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically

Saved in:

Bibliographic Details
Published in:	The journal of logic and algebraic programming Vol. 64; no. 2; pp. 219 - 251
Main Authors:	Goubault-Larrecq, Jean, Roger, Muriel, Verma, Kumar Neeraj
Format:	Journal Article
Language:	English
Published:	01.08.2005
ISSN:	1567-8326
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	1567-8326
DOI:	10.1016/j.jlap.2004.09.004