Logical relations for encryption (0)

by E Sumii, B C Pierce
Venue:Journal of Computer Security