Abstract interpretation of operational semantics for secure information flow. (Q1853040)

From MaRDI portal
Revision as of 11:21, 5 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Abstract interpretation of operational semantics for secure information flow.
scientific article

    Statements

    title
    Abstract interpretation of operational semantics for secure information flow. (English)
    0 references
    author
    Roberto Barbuti
    0 references
    Nicoletta De Francesco
    0 references
    Cinzia Bernardeschi
    0 references
    publication date
    21 January 2003
    0 references
    zbMATH DE Number
    1856387
    0 references
    zbMATH Keywords
    Formal semantics
    0 references
    Static analysis
    0 references
    Security
    0 references
    Information flow
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1853040&oldid=34330516"
    Powered by MediaWiki