FORMAL MODELS FOR COMPUTER SECURITY

被引：14
|
作者：
LANDWEHR, CE
机构：
来源：
COMPUTING SURVEYS | 1981年 / 13卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：247 / 278
页数：32
相关论文
共 50 条
  • [1] Models for computer security
    Bogdanovich, D
    Grusho, AA
    Timonina, EE
    PROBABILISTIC METHODS IN DISCRETE MATHEMATICS, 2002, : 9 - 21
  • [2] Finite models for formal security proofs
    Goubault-Larrecq, Jean
    JOURNAL OF COMPUTER SECURITY, 2010, 18 (06) : 1247 - 1299
  • [3] Mental models of computer security
    Camp, LJ
    FINANCIAL CRYPTOGRAPHY, 2004, 3110 : 106 - 111
  • [4] Formal modeling for security behavior analysis of computer systems
    Adi, Kamel
    Hamza, Lamia
    Pene, Liviu
    2008 INTERNATIONAL MCETECH CONFERENCE ON E-TECHNOLOGIES, PROCEEDINGS, 2007, : 49 - +
  • [5] The help of formal models for healthcare security policies
    Trouessin, G
    Barber, B
    MEDICAL INFORMATICS EUROPE '97: PARTS A & B, 1997, 43 : 786 - 790
  • [6] Computer and Information Security Ethics' Models
    Taherdoost, Hamed
    Sahibuddin, Shamsul
    Namayandeh, Meysam
    Jalaliyoon, Neda
    2013 International Conference on Advanced Computer Science Applications and Technologies (ACSAT), 2014, : 145 - 149
  • [7] Large Language Models and Computer Security
    Iyengar, Arun
    Kundu, Ashish
    2023 5TH IEEE INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS AND APPLICATIONS, TPS-ISA, 2023, : 307 - 313
  • [8] Formal Verification for Computer Security: Lessons Learned and Future Directions
    Song, Dawn
    PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 1 - 1
  • [9] Automated Security Test Generation with Formal Threat Models
    Xu, Dianxiang
    Tu, Manghui
    Sanford, Michael
    Thomas, Lijo
    Woodraska, Daniel
    Xu, Weifeng
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2012, 9 (04) : 526 - 540
  • [10] Exploiting generic aspects of security models in formal developments
    Mantel, H
    Schairer, A
    MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 452 - 475
12345