AN ITERATIVE METHOD FOR SECURE INTER-PROCEDURAL INFORMATION-FLOW CONTROL

被引：0
|
作者：
MIZUNO, M
机构：
来源：
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE | 1989年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：286 / 291
页数：6
相关论文
共 50 条
  • [1] PRACTICAL INTER-PROCEDURAL DATA FLOW ANALYSIS ALGORITHM
    BARTH, JM
    [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (09) : 724 - 736
  • [2] CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW
    DENNING, DE
    DENNING, PJ
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (07) : 504 - 513
  • [3] Using inter-procedural side-effect information in JIT optimizations
    Le, A
    Lhoták, O
    Hendren, L
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2005, 3443 : 287 - 304
  • [4] LATTICE MODEL OF SECURE INFORMATION-FLOW
    DENNING, DE
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (05) : 236 - 243
  • [5] Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation
    Misek, Jakub
    Zavoral, Filip
    [J]. 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), 2017, 109 : 955 - 962
  • [6] A Haskell-Embedded DSL for Secure Information-Flow
    Manzino, Cecilia
    de Latorre, Gonzalo
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2023, 2024, 14414 : 20 - 35
  • [7] On Formalizing Information-Flow Control Libraries
    Vassena, Marco
    Russo, Alejandro
    [J]. PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16), 2016, : 15 - 28
  • [8] DESIGN OF INFORMATION-FLOW FOR PRODUCTION CONTROL
    BENDEICH, E
    LANG, F
    [J]. WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1974, 64 (11): : 682 - 686
  • [9] Information-Flow Control with Fading Labels
    Bedford, Andrew
    [J]. 2017 15TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2017, : 388 - 390
  • [10] GATE-LEVEL INFORMATION-FLOW TRACKING FOR SECURE ARCHITECTURES
    Tiwari, Mohit
    Li, Xun
    Wassel, Hassan M. G.
    Mazloom, Bita
    Mysore, Shashidhar
    Chong, Frederic T.
    Sherwood, Timothy
    [J]. IEEE MICRO, 2010, 30 (01) : 92 - 100
12345