Security Type Systems as Recursive Predicates
classification
💻 cs.CR
cs.PL
keywords
predicatesprevioussecuritysystemstypecontextcovercriteria
read the original abstract
We show how security type systems from the literature of language-based noninterference can be represented more directly as predicates defined by structural recursion on the programs. In this context, we show how our uniform syntactic criteria from previous work cover several previous type-system soundness results.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.