MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Lattice Model of Secure Information Flow." – 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

Using a Pda Interface to Access Arce
by Ignacio Aedo, Patricia Gómez, Bello Daniel Sanz, Paloma Díaz, Jorge Castro — 2005 — in Euro Mobile Government (Euro mGov) Conference, I. Kushchu
…: Strategies for Building Large, Integrated System, Addison-Wesley. Denning, D.E. (1976). A lattice model…
Cited by 1 (0 self) – Add To MetaCart

Secure Flow Typing
by Dennis Volpano, Cynthia Irvine — 1997 — Computers and Security
…]. This was followed by the work of Denning who presented a lattice model of secure information flow certification…
Cited by 6 (1 self) – Add To MetaCart

Non-deterministic Games and Program Analysis: An application to security (Extended Abstract)
by P. Malacaria, Chris Hankin — Proceedings of the Fourteenth International Symposium on Logic in Computer Science, Computer Society Press of the IEEE
…. Denning [10] introduced a lattice model for secure information flow. In essence, variables are assigned…
Cited by 16 (4 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB