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 条
  • [31] Reduction and Refinement by Algebraic Operations for Petri Net Transformation
    Li, Jun
    Zhou, MengChu
    Dai, Xianzhong
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (05): : 1244 - 1255
  • [32] Replacement, Refinement, and Reduction in Animal Studies With Biohazardous Agents
    Kendall, Lon, V
    Owiny, James R.
    Dohm, Erik D.
    Knapek, Katie J.
    Lee, Erin S.
    Kopanke, Jennifer H.
    Fink, Michael
    Hansen, Sarah A.
    Ayers, Jessica D.
    ILAR JOURNAL, 2018, 59 (02) : 177 - 194
  • [33] Introduction to the 3Rs (Refinement, Reduction and Replacement)
    Guhad, F
    CONTEMPORARY TOPICS IN LABORATORY ANIMAL SCIENCE, 2005, 44 (02): : 58 - 59
  • [34] Refinement of Technical Boron Nitride by Reduction Halogenation.
    Brozek, Vlastimil
    Hubacek, Milan
    Chemicky prumysl, 1987, 37 (12): : 632 - 636
  • [35] Identification, reduction, and refinement of model parameters by the eigensystem realization algorithm
    Yang, Ciann-Dong
    Yeh, Fang-Bo
    Journal of Guidance, Control, and Dynamics, 1990, 13 (06): : 1051 - 1059
  • [36] The reduction and refinement of animal use in acute inhalation toxicity testing
    Warbrick, EV
    Indans, I
    Blackwell, M
    Hardy, CJ
    Shepherd, N
    TOXICOLOGY, 2003, 192 (01) : 92 - 92
  • [37] Replacement, Reduction, Refinement: 3 days for 3Rs
    Caloni, Francesca
    Nevelli, Francesco
    Bonini, Luca
    Calleri, Maurilio
    Calvillo, Laura
    De Angelis, Isabella
    Failla, Cristina M.
    Giuliani, Alessandro
    Granata, Paola
    Kuan, Michela
    Lecce, Fabrizio
    Letasiova, Silvia
    Lorenzetti, Stefano
    Meloni, Marisa
    Ricceri, Laura
    Roughan, Johnny
    Taglioni, Alessandra
    Vitale, Augusto
    ALTEX-ALTERNATIVES TO ANIMAL EXPERIMENTATION, 2022, 39 (03) : 519 - 521
  • [38] Replacement, reduction and refinement and biologicals: about facts, fiction and frustrations
    Hendriksen, CFM
    PROGRESS IN THE REDUCTION, REFINEMENT AND REPLACEMENT OF ANIMAL EXPERIMENTATION, 2000, 31 : 51 - 63
  • [39] Technical refinement in breast reduction using the inferior pedicle technique
    Azad, S
    Bell, D
    Mohammed, P
    Erdmann, MWH
    PLASTIC AND RECONSTRUCTIVE SURGERY, 2002, 109 (07) : 2604 - 2605
  • [40] The five Rs: Refinement, reduction, replacement. A regulatory revolution
    Lucken, RN
    REPLACEMENT, REDUCTION AND REFINEMENT OF ANIMAL EXPERIMENTS IN THE DEVELOPMENT AND CONTROL OF BIOLOGICAL PRODUCTS, 1996, 86 : 67 - 72
12345