MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proving Noninterference and Functional Correctness Using Traces." – 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

Proving Noninterference and Functional Correctness Using Traces
by John Mclean — 1992 — Journal of Computer Security
…Proving Noninterference and Functional Correctness Using Traces John McLean Center for High…
Cited by 39 (3 self) – Add To MetaCart

Proving Noninterference and Functional Correctness Using Traces
by John Mclean Center, John Mclean — 1992 — Journal of Computer Security
…Proving Noninterference and Functional Correctness Using Traces John McLean Center for High…
Add To MetaCart

From Formal Security Specifications to Executable Assertions - A Distributed Systems Preliminary Study
by Cristina Serban, Bruce Mcmillin — 1995
… and functional correctness using traces, as well as a trace specification language for the software development…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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