A logic for constraint-based security protocol analysis

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

Original language	English
Title of host publication	Proceedings 2006 IEEE Symposium on Security and Privacy (S&P 2006, Oakland CA, USA, May 21-24, 2006)
Publisher	IEEE Computer Society
Pages	155-168
ISBN (Print)	0-7695-2574-1
Publication status	Published - 2006

Cite this

@inproceedings{c1377f54bd0f44a58118c0d7900ff6fc,

title = "A logic for constraint-based security protocol analysis",

author = "R.J. Corin and S. Etalle and A. Saptawijaya",

year = "2006",

language = "English",

isbn = "0-7695-2574-1",

pages = "155--168",

booktitle = "Proceedings 2006 IEEE Symposium on Security and Privacy (S\&P 2006, Oakland CA, USA, May 21-24, 2006)",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - A logic for constraint-based security protocol analysis

AU - Corin, R.J.

AU - Etalle, S.

AU - Saptawijaya, A.

PY - 2006

Y1 - 2006

UR - http://doi.ieeecomputersociety.org/10.1109/SP.2006.3

M3 - Conference contribution

SN - 0-7695-2574-1

SP - 155

EP - 168

BT - Proceedings 2006 IEEE Symposium on Security and Privacy (S&P 2006, Oakland CA, USA, May 21-24, 2006)

PB - IEEE Computer Society

ER -