@inproceedings{af5bec53d3ef4213942b4d0f6e7c11c7,
title = "A Semantic Approach for Reasoning about Security Protocols (extended abstract)",
keywords = "Wiskunde en Informatica (WIIN)",
author = "A. Hommersom and J-J.Ch. Meyer and \{de Vink\}, E.P.",
year = "2004",
language = "Undefined/Unknown",
pages = "79--97",
editor = "A. Lomuscio and \{van der Hoek\}, W. and M. Wooldridge and \{de Vink\}, E.",
booktitle = "Proc. ESSLLI'04-Workshop on Logic and communication in multi-agent systems (LCMAS'04)",
publisher = "Universit{\'e} Henri Poincare",
}