Semantics and program analysis of computationally secure information flow

被引：0
|
作者：
Laud, P [1 ]
机构：
[1] Univ Saarland, FR Informat, D-6600 Saarbrucken, Germany
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2001年 / 2028卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a definition of secure information flow. It is not based on noninterference, but on computational indistinguishability of the secret inputs, when the public outputs are observed. This definition allows cryptographic primitives to be handled. This paper also presents a Denning-style information-flow analysis for programs that use encryption as a primitive operation. The proof of the correctness of the analysis is sketched.
引用
收藏
页码：77 / 91
页数：15
相关论文
共 50 条
  • [1] A type system for computationally secure information flow
    Laud, P
    Vene, V
    [J]. FUNDAMENTALS OF COMPUTATIONAL THEORY, PROCEEDINGS, 2005, 3623 : 365 - 377
  • [2] Quantitative analysis of secure information flow via Probabilistic Semantics
    Mu, Chunyan
    Clark, David
    [J]. 2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2, 2009, : 49 - 57
  • [3] Abstract interpretation of operational semantics for secure information flow
    Barbuti, R
    Bernardeschi, C
    De Francesco, N
    [J]. INFORMATION PROCESSING LETTERS, 2002, 83 (02) : 101 - 108
  • [4] Secure information flow and program logics
    Beringer, Lennart
    Hofmann, Martin
    [J]. 20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSFS20), PROCEEDINGS, 2007, : 233 - +
  • [5] Concrete and abstract semantics to check secure information flow in concurrent programs
    Bernardeschi, C
    De Francesco, N
    Lettieri, G
    [J]. FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 81 - 98
  • [6] Principles of secure information flow analysis
    Smith, Geoffrey
    [J]. Malware Detection, 2007, : 291 - 307
  • [7] Secure program execution via dynamic information flow tracking
    Suh, GE
    Lee, JW
    Zhang, D
    Devadas, S
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (11) : 85 - 96
  • [8] Handling encryption in an analysis for secure information flow
    Laud, P
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 159 - 173
  • [9] An abstract semantics tool for secure information flow of stack-based assembly programs
    Bernardeschi, C
    De Francesco, N
    Lettieri, G
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2002, 26 (08) : 391 - 398
  • [10] A Method of Secure Information Flow Based on Data Flow Analysis
    Yao, Jianbo
    [J]. SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: THEORY AND PRACTICE, VOL 1, 2012, 114 : 597 - 606
12345