Verifying Security-Control Requirements and Validating their Effectiveness

被引：0
|
作者：
Hunter, Bruce
机构：
来源：
Insight | 2013年 / 16卷 / 02期
关键词：
D O I：
10.1002/inst.201316245
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：45 / 48
相关论文
共 50 条
  • [31] Verifying security protocols with Brutus
    Clarke, EM
    Jha, S
    Marrero, W
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2000, 9 (04) : 443 - 487
  • [32] From Validating to Verifying: Public Appeals in Synthetic Biology
    Mackenzie, Adrian
    SCIENCE AS CULTURE, 2013, 22 (04) : 476 - 496
  • [33] Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above
    Jarmusch, Aaron
    Liu, Aaron
    Munley, Christian
    Horta, Daniel
    Ravichandran, Vaidhyanathan
    Denny, Joel
    Friedline, Kyle
    Chandrasekaran, Sunita
    2022 WORKSHOP ON ACCELERATOR PROGRAMMING USING DIRECTIVES (WACCPD), 2022, : 1 - 10
  • [34] Towards Hybrid Reasoning for Verifying and Validating Multilevel Models
    Jekjantuk, Nophadol
    Groener, Gerd
    Pan, Jeff Z.
    Thomas, Edward
    KNOWLEDGE ENGINEERING AND MANAGEMENT BY THE MASSES, EKAW 2010, 2010, 6317 : 411 - 420
  • [35] Verifying the independence of security protocols
    Bela, Genge
    Ignat, Iosif
    ICCP 2007: IEEE 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2007, : 155 - +
  • [36] Advanced Security Assessment for Control Effectiveness
    You, Youngin
    Oh, Sangkyo
    Lee, Kyungho
    INFORMATION SECURITY APPLICATIONS, WISA 2014, 2015, 8909 : 383 - 393
  • [37] Verifying layered security protocols
    Gibson-Robinson, Thomas
    Kamil, Allaa
    Lowe, Gavin
    JOURNAL OF COMPUTER SECURITY, 2015, 23 (03) : 259 - 307
  • [38] SECURITY ACCESS CONTROL EFFECTIVENESS DESIGN
    Goncalves, D. P.
    SOUTH AFRICAN JOURNAL OF INDUSTRIAL ENGINEERING, 2023, 34 (03) : 84 - 96
  • [39] VERIFYING AND VALIDATING COMPLEX SIMULATION-MODELS BY ANALOGY
    BANKS, J
    SIMULATION, 1990, 54 (01) : 33 - 36
  • [40] A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior
    Desai, Nisha
    Gogolla, Martin
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 519 - 523
12345