On the specification, validation and verification of security in access control systems

被引：0
|
作者：
机构：
[1] O'Shea, Greg
来源：
O'Shea, Greg | 1600年 / Oxford Univ Press, Oxford, United Kingdom卷 / 37期
关键词：
Access control - Specification - Validation - Verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] ON THE SPECIFICATION, VALIDATION AND VERIFICATION OF SECURITY IN ACCESS-CONTROL SYSTEMS
    OSHEA, G
    COMPUTER JOURNAL, 1994, 37 (05): : 437 - 448
  • [2] Specification and verification of constraints in role based access control for enterprise security system.
    Kolaczek, G
    TWELFTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2003, : 190 - 195
  • [3] Dynamic Access Control Policies: Specification and Verification
    Janicke, H.
    Cau, A.
    Siewe, F.
    Zedan, H.
    COMPUTER JOURNAL, 2013, 56 (04): : 440 - 463
  • [4] Security specification and verification
    Fenkam, P
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
  • [5] UML specification of access control policies and their formal verification
    Koch M.
    Parisi-Presicce F.
    Software & Systems Modeling, 2006, 5 (4) : 429 - 447
  • [6] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [7] Security verification framework for NDN access control
    Fei, Yuan
    Yin, Jiaqi
    Yan, Lijun
    SCIENTIFIC REPORTS, 2025, 15 (01):
  • [8] Specification, verification, and quantification of security in model-based systems
    Ouchani, Samir
    Debbabi, Mourad
    COMPUTING, 2015, 97 (07) : 691 - 711
  • [9] Specification, verification, and quantification of security in model-based systems
    Samir Ouchani
    Mourad Debbabi
    Computing, 2015, 97 : 691 - 711
  • [10] INVITED: Specification and Modeling for Systems-on-Chip Security Verification
    Malik, Sharad
    Subramanyan, Pramod
    2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
12345