Making security type systems less ad hoc

Nipkow, Tobias and Popescu, Andrei (2014) Making security type systems less ad hoc. Information Technology, 56 (6) . pp. 267-272. ISSN 1611-2776 [Article] (doi:10.1515/itit-2014-1060)

This is the latest version of this item.

PDF - Final accepted version (with author's formatting)
Download (184kB) | Preview


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.

Item Type: Article
Additional Information: Published Online: 2014-11-30. The final publication is available at
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15172
Useful Links:
Depositing User: Andrei Popescu
Date Deposited: 23 Apr 2015 09:50
Last Modified: 17 Jun 2021 06:57

Available Versions of this Item

  • Making security type systems less ad hoc. (deposited 23 Apr 2015 09:50) [Currently Displayed]

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.