Reduction and Refinement

被引：0
|
作者：
Boiten, Eerke [1 ]
Grundy, Dan [1 ]
机构：
[1] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 201卷
关键词：
Refinement; reduction; cryptography; complexity; IO-refinement;
D O I：
10.1016/j.entcs.2008.02.014
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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".
引用
收藏
页码：31 / 44
页数：14
相关论文
共 50 条
12345