Toward reasoning about security protocols : a semantic approach

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

doi:10.1016/j.entcs.2004.11.013

Toward reasoning about security protocols : a semantic approach

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

Formal System Analysis

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

120 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004)
Pages	53-75
DOIs	https://doi.org/10.1016/j.entcs.2004.11.013
Publication status	Published - 2005

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	126
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2004.11.013

Cite this

Hommersom, A., Meyer, J.-JC., & Vink, de, E. P. (2005). Toward reasoning about security protocols : a semantic approach. In Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004) (pp. 53-75). (Electronic Notes in Theoretical Computer Science; Vol. 126). https://doi.org/10.1016/j.entcs.2004.11.013

@inproceedings{f3fb48d1865f410eb001fdd6d092232b,

title = "Toward reasoning about security protocols : a semantic approach",

author = "A. Hommersom and J.-J.Ch. Meyer and {Vink, de}, E.P.",

year = "2005",

doi = "10.1016/j.entcs.2004.11.013",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "53--75",

booktitle = "Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004)",

}

Hommersom, A, Meyer, J-JC & Vink, de, EP 2005, Toward reasoning about security protocols : a semantic approach. in Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004). Electronic Notes in Theoretical Computer Science, vol. 126, pp. 53-75. https://doi.org/10.1016/j.entcs.2004.11.013

Toward reasoning about security protocols : a semantic approach. / Hommersom, A.; Meyer, J.-J.Ch.; Vink, de, E.P.
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004). 2005. p. 53-75 (Electronic Notes in Theoretical Computer Science; Vol. 126).

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 - Vink, de, E.P.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.entcs.2004.11.013

DO - 10.1016/j.entcs.2004.11.013

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 53

EP - 75

BT - Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004)

ER -