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 条
  • [41] Cloud native security and the security posture of cloud resources
    Tejero, Hector
    Electronics World, 2023, 128 (2029):
  • [42] PROGRAMMABLE DATA TERMINALS FOR GRAPHIC AND KANJI PROCESSING.
    Horiguchi, Shinju
    Ogawa, Katsuhiko
    Aoki, Tsuyoshi
    Denki Tsushin Kenkyusho Kenkyu Jitsuyoka Hokoku, 1984, 33 (02): : 297 - 306
  • [43] Programmable living materials joint special issue editorial
    Zhong, Chao
    Sankaran, Shrikrishnan
    BIOMATERIALS ADVANCES, 2023, 155
  • [44] LLLTV PERFORMANCE PREDICTION USING A PROGRAMMABLE HAND CALCULATOR
    POPPELBAUM, TL
    ELECTRO-OPTICAL SYSTEMS DESIGN, 1979, 11 (06): : 46 - 51
  • [45] HIGH-SPEED PROGRAMMABLE LOGIC ARRAY ADDERS
    WEINBERGER, A
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1979, 23 (02) : 163 - 178
  • [46] CCD-PROGRAMMABLE SAW MATCHED FILTER.
    Smythe, D.L.
    Ralston, R.W.
    Stern, E.
    Ultrasonics Symposium Proceedings, 1979, : 767 - 770
  • [47] USE OF PROGRAMMABLE POCKET CALCULATORS IN ENGINEERING INTRODUCTORY COURSES
    BIONDI, M
    MIDORO, V
    PESCETTI, D
    INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION, 1979, 16 (2-3) : 138 - 146
  • [48] Hierarchical Confined Assembly of Bilayer Heterostructures with Programmable Patterns
    Fan, Xin
    Zhang, Bo
    Zhao, Jinjin
    Zhao, Yingjie
    Yuan, Meng
    Geng, Yue
    He, Ke
    Li, Hui
    Feng, Jiangang
    Fu, Yue
    Wu, Yuchen
    Gao, Hanfei
    Jiang, Lei
    ACS MATERIALS LETTERS, 2022, 4 (05): : 770 - 778
  • [49] HIGH-SPEED PROGRAMMABLE MULTIFUNCTION SYNCHRONIZER.
    Abramovich, D.I.
    Butskii, V.V.
    Zaluzhnyi, A.A.
    Naumov, N.V.
    Instruments and experimental techniques New York, 1984, 27 (4 pt 1): : 887 - 889
  • [50] PROGRAMMABLE TEST-BED FOR COMPOSITE TELEVISION CODING
    BRAINARD, RC
    SCATTAGLIA, JV
    SMPTE JOURNAL, 1982, 91 (10): : 906 - 911
12345