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 条
  • [1] Reduction and Refinement Choices
    Mercado, Brandon
    Holland, Patrick
    Coric, Ilija
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2019, 75 : A344 - A344
  • [2] Replacement, reduction and refinement
    Flecknell, P
    ALTEX-ALTERNATIVEN ZU TIEREXPERIMENTEN, 2002, 19 (02): : 73 - 78
  • [3] Reduction, refinement and replacement
    Hovell, Ramsay
    VETERINARY RECORD, 2013, 172 (26) : 691 - 691
  • [4] REPLACEMENT, REDUCTION, REFINEMENT
    不详
    VETERINARY RECORD, 1978, 102 (17) : 371 - 371
  • [5] Replacement, reduction and refinement
    Flecknell, PA
    ALTEX-ALTERNATIVEN ZU TIEREXPERIMENTEN, 2002, 19 : 47 - 53
  • [6] Binding refinement for multiplexer reduction
    Graduate School of Information Science and Electrical Engineering, Kyushu University, Japan
    不详
    IPSJ Trans. Syst. LSI Des. Methodol., (43-52):
  • [7] Tip Reduction and Refinement Maneuvers
    Novak, Matthew
    Bellamy, Justin
    Rohrich, Rod
    CLINICS IN PLASTIC SURGERY, 2022, 49 (01) : 71 - 79
  • [8] Beam model refinement and reduction
    Medic, Senad
    Dolarevic, Samir
    Ibrahimbegovic, Adnan
    ENGINEERING STRUCTURES, 2013, 50 : 158 - 169
  • [9] Reduction and Refinement Award: Call for Proposals
    不详
    ATLA-ALTERNATIVES TO LABORATORY ANIMALS, 2020, 48 (5-6): : 209 - 209
  • [10] Refinement and reduction through the control of variation
    Festing, MFW
    ATLA-ALTERNATIVES TO LABORATORY ANIMALS, 2004, 32 : 259 - 263
12345