Security Type Systems as Recursive Predicates
Cryptography and Security
2013-08-16 v1 Programming Languages
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.
Keywords
Cite
@article{arxiv.1308.3472,
title = {Security Type Systems as Recursive Predicates},
author = {Andrei Popescu},
journal= {arXiv preprint arXiv:1308.3472},
year = {2013}
}
Comments
9 pages