MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Per Model of Secure Information Flow in Sequential Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Per Model of Secure Information Flow in Sequential Programs
by Andrei Sabelfeld , David Sands — 1998 — HIGHER-ORDER AND SYMBOLIC COMPUTATION
…A Per Model of Secure Information Flow in Sequential Programs Andrei Sabelfeld and David Sands…
Cited by 74 (14 self) – Add To MetaCart

A Per Model of Secure Information Flow in Sequential Programs
by Andrei Sabelfeld And, David Sands — 1998 — Higher-Order and Symbolic Computation
…A Per Model of Secure Information Flow in Sequential Programs Andrei Sabelfeld and David Sands…
Add To MetaCart

Semantic Models for the Security of Sequential and Concurrent Programs
by Andrei Sabelfeld, Andrei Sabelfeld, Andrei Sabelfeld — 2001 — Ph.D. dissertation, Chalmers Univ. Technology and Gothenburg Univ
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 A Per Model of Secure Information Flow in Sequential Programs 11 2.1 Introduction…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB