Simulation-Based Security with Inexhaustible Interactive Turing Machines (2006)

by R Küsters
Venue:In Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW-19 2006