Concepedia

Secure Information Flow

Secure Information Flow is a formal model in secure system design that specifies and enforces the conditions under which sensitive information may flow between system components, ensuring that such flow does not violate established security policies.

363

Publications

20.8K

Citations

765

Authors

345

Institutions

Publications per year

2017–2026

74

Parents

Publications

363

A lattice model of secure information flow

Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text

, , +15

Certification of programs for secure information flow

Dorothy E. Denning, Peter J. Denning · Communications of the ACM · 1977 · 1K citations · Full text

, , +8

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security · 1996 · 963 citations

, , +11

Securing web application code by static analysis and runtime protection

Yao‐Wen Huang, Fang Yu, Christian Hang et al. · 2004 · 566 citations

, , +13

A core calculus of dependency

Martı́n Abadi, Anindya Banerjee, Nevin Heintze et al. · 1999 · 415 citations

, , +15

1–5 of 363

Authors

765

  1. AC
    Andrew C. Myers

    Cornell University, United States

    17 publications · 1.4K citations

    15

    h-index

  2. RF
    Riccardo Focardi

    Ca' Foscari University of Venice, Italy

    12 publications · 509 citations

    11

    h-index

  3. GS
    Geoffrey Smith

    Florida International University, United States

    11 publications · 1.7K citations

    11

    h-index

  4. AS
    Andrei Sabelfeld

    Chalmers University of Technology, Sweden

    10 publications · 378 citations

    10

    h-index

  5. SZ
    Steve Zdancewic

    University of Pennsylvania, United States

    9 publications · 825 citations

    9

    h-index

1–5 of 765

Institutions

345

  1. Cornell University

    Ithaca, United States

    18 h-index

    64 publications

    5.7K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    17 h-index

    32 publications

    2.1K citations

  3. Chalmers University of Technology

    Gothenburg, Sweden

    14 h-index

    39 publications

    1.7K citations

  4. University of Pisa

    Pisa, Italy

    12 h-index

    30 publications

    889 citations

  5. Ca' Foscari University of Venice

    Venice, Italy

    12 h-index

    31 publications

    999 citations

  6. Florida International University

    Miami, United States

    11 h-index

    16 publications

    1.8K citations

  7. University of California San Diego

    San Diego, United States

    10 h-index

    25 publications

    916 citations

  8. University of Pennsylvania

    Philadelphia, United States

    8 h-index

    17 publications

    882 citations

1–8 of 345

Venues

  1. Journal of Computer Security

    17 publications · 2.1K citations

    14

    h-index

  2. ACM SIGPLAN Notices

    6 publications · 263 citations

    6

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 249 citations

    5

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 4 publications · 250 citations

    4

    h-index

  5. 4

    h-index

1–5