A security flow control algorithm and its denotational semantics correctness proof (Q1203126): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: An Axiomatic Approach to Information Flow in Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strictness analysis for higher-order functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice model of secure information flow / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Certification of programs for secure information flow / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotone data flow analysis frameworks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Program transformations in a denotational setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-level semantics and abstract interpretation / rank | |||
Normal rank |
Revision as of 14:32, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A security flow control algorithm and its denotational semantics correctness proof |
scientific article |
Statements
A security flow control algorithm and its denotational semantics correctness proof (English)
0 references
4 February 1993
0 references
information flow control
0 references
denotational semantics
0 references
abstract interpretation
0 references
security
0 references