Formal characterization and automated analysis of known-pair and chosen-text attacks | IEEE Journals & Magazine | IEEE Xplore