Implementation and verification of programmable security

被引：0
|
作者：
Magill, Stephen
Skaggs, Bradley
Papa, Mauricio
Hale, John
机构：
来源：
IFIP Advances in Information and Communication Technology | / 285-299期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal verification - Network architecture - Network security - Authorization - Cryptography
引用
收藏
相关论文
共 50 条
  • [1] IMPLEMENTATION OF ALGORITHMS FOR PROGRAMMABLE SPECIAL-PURPOSE PROCESSORS.
    Anisimov, A.V.
    Smolov, V.B.
    Automatic Control and Computer Sciences, 1983, 17 (03) : 49 - 51
  • [2] Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
    Computing Department, Open University, United Kingdom
    Electron. Notes Theor. Comput. Sci., 1 (123-136):
  • [3] Hardware/software security co-verification and vulnerability detection: An information flow perspective
    Qin, Maoyuan
    Zhu, Jiacheng
    Mao, Baolei
    Hu, Wei
    Integration, 2024, 94
  • [4] Experimental analysis and implementation of bit level permutation instructions for embedded security
    2013, World Scientific and Engineering Academy and Society, Ag. Ioannou Theologou 17-23, Zographou, Athens, 15773, Greece (10):
  • [5] KEY MANAGEMENT SCHEME FOR END-TO-END ENCRYPTION AND A FORMAL VERIFICATION OF ITS SECURITY.
    Kasami, Tadao
    Yamamura, Saburo
    Mori, Kenichi
    Systems, computers, controls, 1982, 13 (03): : 59 - 69
  • [6] PROGRAMMABLE CONTROLLERS.
    Roote, Michael S.
    Thompson, Larry
    Production engineering, 1980, 27 (04): : 54 - 57
  • [7] PROGRAMMABLE CONTROLLER ROUNDUP
    HICKEY, J
    INSTRUMENTS & CONTROL SYSTEMS, 1981, 54 (07): : 57 - 64
  • [8] PROGRAMMABLE CONTROLLER UPDATE
    HICKEY, J
    INSTRUMENTS & CONTROL SYSTEMS, 1979, 52 (07): : 27 - 35
  • [9] PROGRAMMABLE CONTROLLER.
    Anon
    Package engineering, 1979, 24 (11): : 40 - 42
  • [10] Verification games: Making verification fun
    Dietl, Werner
    Dietzel, Stephanie
    Ernst, Michael D.
    Mote, Nathaniel
    Walker, Brian
    Cooper, Seth
    Pavlik, Timothy
    Popović, Zoran
    Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop, 2012, : 42 - 49
12345