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 条
  • [21] Research on Computer Language Behaviors from the Perspective of Logical Pragmatics
    Zhang, Xing
    2018 INTERNATIONAL CONFERENCE ON EDUCATION, PSYCHOLOGY, AND MANAGEMENT SCIENCE (ICEPMS 2018), 2018, : 766 - 769
  • [22] From Computer Science to Software Engineering - A Programming-level Perspective
    Bailes, Paul
    Brough, Leighton
    Kemp, Colin
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2014, 265 : 513 - 529
  • [23] Computer security research: A British perspective
    Barnes, BH
    IEEE SOFTWARE, 1998, 15 (05) : 30 - 33
  • [24] PLAS 2006 - Proceedings of the 2006 Programming Language and Analysis for Security Workshop: Foreword
    Sreedhar, Vugranam
    Zdancewic, Steve
    PLAS 2006 - Proceedings of the 2006 Programming Languages and Analysis for Security Workshop, 2006, 2006
  • [25] SECURITY ASPECTS OF THE PERSPECTIVE COMPUTER NETWORKS
    Kysela, Libor
    DISTANCE LEARNING, SIMULATION AND COMMUNICATION (DLSC 2011), 2011, : 163 - 167
  • [26] A Language for Multi-Perspective Modelling of IT Security: Objectives and Analysis of Requirements
    Goldstein, Anat
    Frank, Ulrich
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM), 2013, 132 : 636 - 648
  • [27] Chosing a Programming Language for a New Project from a Code Quality Perspective
    Garkavtsev, Max
    Lamonova, Nataliya
    Gostev, Alexander
    2018 IEEE SECOND INTERNATIONAL CONFERENCE ON DATA STREAM MINING & PROCESSING (DSMP), 2018, : 75 - 78
  • [28] Research on the optimization of computer network security technology from the perspective of psychology
    Wei, Chengxin
    INTERNATIONAL JOURNAL OF MENTAL HEALTH NURSING, 2024, 33 : 91 - 91
  • [29] COMPUTER ARCHITECTURE AND VAX ASSEMBLY LANGUAGE PROGRAMMING
    ALLISON, C
    UNIVERSITY COMPUTING, 1988, 10 (04): : 206 - 207
  • [30] FORMULA - A PROGRAMMING LANGUAGE FOR EXPRESSIVE COMPUTER MUSIC
    ANDERSON, DP
    KUIVILA, R
    COMPUTER, 1991, 24 (07) : 12 - 21
12345