MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Robust Declassification." – sorted by Relevance.

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

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

27 documents found, showing 1 through 10. Next 10 →

ATOM

Robust Declassification
by Steve Zdancewic, Andrew C. Myers — 2001 — in Proc. IEEE Computer Security Foundations Workshop
…Robust Declassification Steve Zdancewic Andrew C. Myers Cornell University Computer Science…
Cited by 107 (21 self) – Add To MetaCart

Enforcing robust declassification and qualified robustness
by Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic — 2006 — Journal of Computer Security
…Enforcing Robust Declassification and Qualified Robustness Andrew C. Myers Department of Computer…
Cited by 12 (5 self) – Add To MetaCart

A Type System for Robust Declassification
by Steve Zdancewic — 2003
…MFPS XIX Preliminary Version A Type System for Robust Declassication Steve Zdancewic 1 University…
Cited by 25 (5 self) – Add To MetaCart

On the rle of abstract non-interference in language-based security
by Isabella Mastroeni — 2005 — Third Asian Symp. on Programming Languages and Systems (APLAS ’05), volume 3780 of Lecture Notes in Computer Science
…, robust declassification, delimited release and relaxed non-interference. Keywords: Language…
Cited by 4 (1 self) – Add To MetaCart

Adjoining declassification and attack models by abstract interpretation
by Roberto Giacobazzi, Isabella Mastroeni — 2005 — In Proc. European Symp. on Programming, volume 3444 of LNCS
… and robust declassification in language-based security can be viewed as adjoint transformations of abstract…
Cited by 14 (7 self) – Add To MetaCart

T.: Cryptographically sound implementations for typed information-flow security
by Cédric Fournet, Tamara Rezk — 2008 — In: Proceedings 35th Symposium on Principles of Programming Languages
…-flow viewpoint, they capture controlled forms of robust declassification and endorsement. We show type soundness…
Cited by 4 (2 self) – Add To MetaCart

Dimensions and Principles of Declassification
by Andrei Sabelfeld , David Sands — 2005
… is claimed to be adopted from robust declassification [ZM01] by removing active attackers [GM04, GM05…
Cited by 63 (11 self) – Add To MetaCart

unknown title
by unknown authors
… Robust Declassification Steve Zdancewic Andrew C. MyersCornell University Computer Science…
Add To MetaCart

Declassification: Dimensions and principles
by Andrei Sabelfeld, David Sands — 2005 — In Proceedings of the 18th IEEE Workshop on Computer Security Foundations (CSFW’05
… to fall into the “what” class [50]). The latter is claimed to be adopted from robust declassification [79…
Cited by 6 (2 self) – Add To MetaCart

A weakest precondition approach to active attacks analysis
by Musard Balliu, Isabella Mastroeni
…. 2 we present a general overview of non-interference and robust declassification. In Sect. 3 we…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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