We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Making security type systems less ad hoc.
- Authors
Nipkow, Tobias; Popescu, Andrei
- Abstract
We present a uniform, top-down design method for security type systems applied to a parallel while-language. The method takes the following route: from a notion of end-to-end security via a collection of stronger notions of anytime security targeting compositionality to a matching collection of type-system-like syntactic criteria. This method has emerged by distilling and unifying security type system results from the literature while formalizing them in a proof assistant. Unlike in our previous papers on this topic, here we focus entirely on high-level ideas instead of technical proof details.
- Subjects
SECURITY systems software; PROGRAMMING languages; COMSKEE (Computer program language); TRANSBORDER data flow; MATHEMATICAL models; SEMANTICS; STIFF computation (Differential equations)
- Publication
IT: Information Technology, 2014, Vol 56, Issue 6, p267
- ISSN
1611-2776
- Publication type
Article
- DOI
10.1515/itit-2014-1060