Stuart G. Stubblebine, Catherine A. Meadows. Formal characterization and automated analysis of known-pair and chosen-text attacks. IEEE Journal on Selected Areas in Communications, 18(4):571-581, 2000. [doi]
@article{StubblebineM00,
title = {Formal characterization and automated analysis of known-pair and chosen-text attacks},
author = {Stuart G. Stubblebine and Catherine A. Meadows},
year = {2000},
doi = {10.1109/49.839933},
url = {http://dx.doi.org/10.1109/49.839933},
researchr = {https://researchr.org/publication/StubblebineM00},
cites = {0},
citedby = {0},
journal = {IEEE Journal on Selected Areas in Communications},
volume = {18},
number = {4},
pages = {571-581},
}