MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A semantic approach to 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

A Semantic Approach to Secure Information Flow
by K. Rustan M. Leino, K. Rustan, K. Rustan, M. Leino, M. Leino, Rajeev Joshi, Rajeev Joshi — 1997
…SRC Technical Note 1997 - 032 17 December 1997 A Semantic Approach to Secure Information Flow K…
Cited by 62 (0 self) – Add To MetaCart

A semantic approach to secure information flow
by K. Rustan, K. Rustan, M. Leino, M. Leino, Rajeev Joshi, Rajeev Joshi — 1422 — Lecture Notes in Computer Science
…SRC Technical Note 1997 - 032 17 December 1997 A Semantic Approach to Secure Information Flow K…
Cited by 1 (0 self) – Add To MetaCart

Pertitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
by Dennis Volpano, Cynthia Irvine, Series In Engineering, Computer Science, Matthew M. Wilding, David S. Hardin, John Rushby — 1999
…, December 1989. IEEE Computer Society. [62] K. Rustan M. Leino and Rajeev Joshi. A semantic approach…
Add To MetaCart

Showing 1 through 3.

ATOM

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