BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
probabilist (1)
downgrad (1)
risk (1)
languag (1)
relat (1)

Stem noninterfer$ (all stems)

7 papers:

ICFPICFP-2015-BowmanA #for free
Noninterference for free (WJB, AA), pp. 101–113.
ICFPICFP-2013-HritcuHPSVAL #testing
Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
ICALPICALP-v2-2010-McIverMM #composition #probability
Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.
POPLPOPL-2006-Dam #decidability #proving
Decidability and proof systems for language-based noninterference relations (MD), pp. 67–78.
Extending noninterference properties to the timed world (JH, AWR), pp. 376–383.
POPLPOPL-2005-LiZ #policy
Downgrading policies and relaxed noninterference (PL, SZ), pp. 158–170.
ICALPICALP-2001-BoudolC #concurrent #source code
Noninterference for Concurrent Programs (GB, IC), pp. 382–395.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.