A Per Model of Secure Information Flow in Sequential Programs (1998)

by Andrei Sabelfeld , David Sands
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:89 - 18 self

Document Versions

A Per Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld , David Sands — 1998 — HIGHER-ORDER AND SYMBOLIC COMPUTATION
A PER Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld, David Sands — 1998 — Higher-Order and Symbolic Computation
A Per Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld , David Sands — 1998 — HIGHER-ORDER AND SYMBOLIC COMPUTATION
A PER Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld, David Sands, David S — 2000 — Higher-Order and Symbolic Computation
A PER Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld, David Sands, David S — 1999 — Higher-Order and Symbolic Computation
A Per Model of Secure Information Flow in Sequential Programs –Andrei Sabelfeld , David Sands — 1998 — HIGHER-ORDER AND SYMBOLIC COMPUTATION
A PER model of secure information flow in sequential programs –Andrei Sabelfeld, David S — 1999 — Higher-Order and Symbolic Computation