@inproceedings{2f37e89fc0d1406c88dedd9c17eddf1e,
title = "Toward Reasoning about Security Protocols: A Semantic Approach",
keywords = "Wiskunde en Informatica (WIIN)",
author = "A. Hommersom and J-J.Ch. Meyer and {de Vink}, E.P.",
note = "2nd Int. Workshop on Logic and Communication in Multi-Agent Systems",
year = "2005",
language = "Undefined/Unknown",
pages = "53--75",
editor = "{van der Hoek}, W. and A. Lomuscio and {de Vink}, E. and M. Wooldridge",
booktitle = "Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems",
publisher = "Elsevier",
address = "Netherlands",
}