| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422180 | Electronic Notes in Theoretical Computer Science | 2008 | 14 Pages |
Abstract
In this paper we explore the relation between refinement and reduction, especially as it is used in the context of cryptography. We show how refinement is a special case of reduction, and more interestingly, how reduction is an instance of a novel generalisation, “refinement with context”.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
