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 条
  • [31] DESIGN AUTOMATION AND THE PROGRAMMABLE LOGIC ARRAY MACRO
    GOLDEN, RL
    LATUS, PA
    LOWY, P
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1980, 24 (01) : 23 - 31
  • [32] A SOPHISTICATED PROGRAMMABLE MINIATURISED PUMP FOR INSULIN DELIVERY
    KLEIN, JC
    SLAMA, G
    MEDICAL PROGRESS THROUGH TECHNOLOGY, 1980, 7 (04) : 193 - 197
  • [33] MICROPROCESSOR ROUTES DATA INSIDE PROGRAMMABLE SCOPE
    ROSE, FA
    SMITH, SR
    ELECTRONICS, 1976, 49 (08): : 148 - 149
  • [34] A programmable platform for probing cell migration and proliferation
    Cwycyshyn, Jillian
    Stansbury, Cooper
    Meixner, Walter
    Hoying, James B.
    Muir, Lindsey A.
    Rajapakse, Indika
    APL BIOENGINEERING, 2024, 8 (04):
  • [35] Programmable calculator. A place in civil engineering
    DALLAIRE EE
    1600, (42):
  • [36] HIGH SPEED PROGRAMMABLE CLOCK GENERATOR.
    Koennecker, O.H.
    IBM technical disclosure bulletin, 1984, 27 (4 B): : 2509 - 2510
  • [37] AN IMPLANTABLE, REMOTELY PROGRAMMABLE INSULIN INFUSION SYSTEM
    CARLSON, GA
    BAIR, RE
    GAONA, JI
    LOVE, JT
    SCHILDKNECHT, HE
    URENDA, RS
    SPENCER, WJ
    EATON, RP
    SCHADE, DS
    MEDICAL PROGRESS THROUGH TECHNOLOGY, 1982, 9 (01) : 17 - 25
  • [38] LOW COST PROGRAMMABLE DATA GENERATOR.
    Thorpe, I.F.
    New Electronics, 1978, 11 (02):
  • [39] Programmable RNA Binding Proteins for Imaging and Therapeutics
    Rauch, Simone
    Dickinson, Bryan C.
    BIOCHEMISTRY, 2018, 57 (04) : 363 - 364
  • [40] CONTROL COMPUTER - PROGRAMMABLE CONTROLLER NETWORK.
    Ward, John C.
    Journal of Environmental Science and Health, Part B: Pesticides, Food Contaminants, and Agricultural Wastes, 1980, 2
12345