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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
M. Debbabi, Y. Legaré, M. Mejri, "An Environment for the Specification and Analysis of Cryptoprotocols," acsac, pp.321, 14th Annual Computer Security Applications Conference (ACSAC '98), 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb