MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Control Flow based Security Properties." – 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

Verification of Control Flow Based Security Properties
by T. Jensen D. Le M, D. Le Métayer, T. Thorn, Etayer T. Thorn, T. Jensen, D. Le, M'etayer T. Thorn
… ISSN 1166-8687 1210 VERIFICATION OF CONTROL FLOW BASED SECURITY PROPERTIES T. JENSEN D. LE M ETAYER T…
Add To MetaCart

Verification of Control Flow Based Security Properties
by T. Jensen, D. Le Métayer, T. Thorn, D. Le, Metayer T. Thorn — In Proceedings of the 1999 IEEE Symposium on Security and Privacy
…Verification of control flow based security properties T. Jensen D. Le Metayer T. Thorn IRISA…
Cited by 50 (4 self) – Add To MetaCart

Compositional Specification and Verification of Control Flow Based Security Properties of Multi
by Gilles Barthe, Dilian Gurov, Marieke Huisman — 2001
…Compositional specication and verication of control AEow based security properties of multi…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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