Completeness Theorems for the Abadi–Rogaway Language of Encrypted Expressions1

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2004-12105