Computer security from a programming language and static analysis perspective

被引：0
|
作者：
Leroy, X [1 ]
机构：
[1] Inst Natl Rech Informat & Automat, Rocquencourt & Trusted Log SA, F-78153 Le Chesnay, France
来源：
PROGRAMMING LANGUAGES AND SYSTEMS | 2003年 / 2618卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [1] Programming language methods in computer security
    Mitchell, JC
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 1 - 3
  • [2] A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
    Antoshina, E. Ju.
    Barakova, A. N.
    Nikitin, E. S.
    Chalyy, D. Ju.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2014, 48 (07) : 589 - 593
  • [3] Looking at web security vulnerabilities from the programming language perspective: A field study
    Seixas, Nuno
    Fonseca, José
    Vieira, Marco
    Madeira, Henrique
    Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 2009, : 129 - 135
  • [4] Programming language security
    Ward, Craig E.
    IEEE SOFTWARE, 2006, 23 (06) : 11 - 11
  • [5] A static analysis for classical linear logic programming language
    Kang, KS
    Tamura, N
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 610 - 610
  • [6] FROM PROGRAMMING LANGUAGE DESIGN TO COMPUTER CONSTRUCTION
    WIRTH, N
    COMMUNICATIONS OF THE ACM, 1985, 28 (02) : 160 - 164
  • [7] COMPUTER LANGUAGE AND PROGRAMMING
    BEGON, F
    PRESSE MEDICALE, 1971, 79 (39): : 1723 - &
  • [8] Reversible computing from a programming language perspective
    Glueck, Robert
    Yokoyama, Tetsuo
    THEORETICAL COMPUTER SCIENCE, 2023, 953
  • [9] The Language of Programming: A Cognitive Perspective
    Fedorenko, Evelina
    Ivanova, Anna
    Dhamala, Riva
    Bers, Marina Umaschi
    TRENDS IN COGNITIVE SCIENCES, 2019, 23 (07) : 525 - 528
  • [10] Security Analysis of Large Language Models on API Misuse Programming Repair
    Zhang, Rui
    Qiao, Ziyue
    Yu, Yong
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2024, 2024
12345