Toward Reasoning about Security Protocols: A Semantic Approach

A. Hommersom; J-J.Ch. Meyer; E.P. de Vink

Toward Reasoning about Security Protocols: A Semantic Approach

A. Hommersom
, J-J.Ch. Meyer
, E.P. de Vink

Dept of Information and Computing Sciences

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems
Editors	W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge
Publisher	Elsevier
Pages	53-75
Number of pages	23
Publication status	Published - 2005

Bibliographical note

2nd Int. Workshop on Logic and Communication in Multi-Agent Systems

Keywords

Wiskunde en Informatica (WIIN)

Cite this

@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",

}

Toward Reasoning about Security Protocols: A Semantic Approach. / Hommersom, A.; Meyer, J-J.Ch.; de Vink, E.P.
Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems. ed. / W. van der Hoek; A. Lomuscio; E. de Vink; M. Wooldridge. Elsevier, 2005. p. 53-75.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Toward Reasoning about Security Protocols: A Semantic Approach

AU - Hommersom, A.

AU - Meyer, J-J.Ch.

AU - de Vink, E.P.

N1 - 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 53

EP - 75

BT - Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems

A2 - van der Hoek, W.

A2 - Lomuscio, A.

A2 - de Vink, E.

A2 - Wooldridge, M.

PB - Elsevier

ER -