High-Assurance Cryptography: Cryptographic Software We Can Trust

被引：5
|
作者：
Barthe, Gilles [1 ]
机构：
[1] IMDEA Software Inst, Madrid, Spain
来源：
IEEE SECURITY & PRIVACY | 2015年 / 13卷 / 05期
关键词：
Algorithm design and analysis; Computers; Cryptography; Libraries; Software; Standards;
D O I：
10.1109/MSP.2015.112
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In response to recent cyberattacks, mathematicians, cryptographers, and security experts have advocated developing alternative approaches for building 'high-assurance' cryptographic software. There's evidence that computer tools that deliver high-assurance cryptographic software are within our reach. © 2003-2012 IEEE.
引用
收藏
页码：86 / 89
页数：4
相关论文
共 50 条
  • [31] Challenges in High-Assurance Runtime Verification
    Goodloe, Alwyn
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 446 - 460
  • [32] A High-Assurance Trust Model for Digital Community Control System Based on Internet of Things
    LI Hongtao
    XING Jinsheng
    MA Jianfeng
    Wuhan University Journal of Natural Sciences, 2016, 21 (01) : 29 - 36
  • [33] High-assurance integrity techniques for databases
    Bertino, Elisa
    Dai, Chenyun
    Lim, Hyo-Sang
    Lin, Dan
    SHARING DATA, INFORMATION AND KNOWLEDGE, PROCEEDINGS, 2008, 5071 : 244 - 256
  • [34] A high-assurance measurement repository system
    Bastani, FB
    Ntafos, S
    Yen, IL
    Harris, DE
    Morrow, RR
    Paul, R
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 265 - 272
  • [35] A High-assurance, Virtual Guard Architecture
    Heckman, Mark R.
    Schell, Roger R.
    Reed, Edwards E.
    2012 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2012), 2012,
  • [36] Meta-Amphion: cost-effective development of high-assurance software generators
    Van Baalen, J
    IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1998, 13 (02): : 12 - 13
  • [37] Can we trust studies using audit software?
    Wakeham, Craig
    Healicon, Richard
    Lemar, Miriam
    BRITISH JOURNAL OF GENERAL PRACTICE, 2016, 66 (642): : 15 - 15
  • [38] Toward integrated methods for high-assurance systems
    Yen, IL
    Paul, R
    Mori, K
    COMPUTER, 1998, 31 (04) : 32 - 34
  • [39] Do you trust your compiler? Applying formal methods to constructing high-assurance compilers
    Boyle, JM
    Resler, RD
    Winter, VL
    1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 14 - 24
  • [40] High-assurance service-oriented architectures
    Dong, Jing
    Paul, Raymond A.
    Zhang, Liang-Jie
    COMPUTER, 2008, 41 (08) : 27 - 28
12345