M. Debbabi, Y. Legaré, M. Mejri, "An Environment for the Specification and Analysis of Cryptoprotocols," Computer Security Applications Conference, Annual, pp. 321, 14th Annual Computer Security Applications Conference (ACSAC '98), 1998.

@article{ 10.1109/CSAC.1998.738652,
author = {M. Debbabi and Y. Legaré and M. Mejri},
title = {An Environment for the Specification and Analysis of Cryptoprotocols},
journal ={Computer Security Applications Conference, Annual},
volume = {0},
year = {1998},
issn = {1063-9527},
pages = {321},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSAC.1998.738652},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Computer Security Applications Conference, Annual
TI - An Environment for the Specification and Analysis of Cryptoprotocols
SN - 1063-9527
SP
EP
A1 - M. Debbabi,
A1 - Y. Legaré,
A1 - M. Mejri,
PY - 1998
VL - 0
JA - Computer Security Applications Conference, Annual
ER -