Making security type systems less ad hoc


Nipkow, T. and Popescu, A. 2014. Making security type systems less ad hoc. Information Technology. 56 (6), pp. 267-272.
TitleMaking security type systems less ad hoc
AuthorsNipkow, T. and Popescu, A.

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.

Research GroupFoundations of Computing group
PublisherDe Gruyter
JournalInformation Technology
Publication dates
PrintDec 2014
Publication process dates
Deposited23 Apr 2015
Accepted17 Oct 2014
Output statusPublished
Accepted author manuscript
Additional information

Published Online: 2014-11-30. The final publication is available at

Digital Object Identifier (DOI)
Permalink -

Download files

Accepted author manuscript
  • 16
    total views
  • 2
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as