Making security type systems less ad hoc

Article


Nipkow, T. and Popescu, A. 2014. Making security type systems less ad hoc. Information Technology. 56 (6), pp. 267-272. https://doi.org/10.1515/itit-2014-1060
TypeArticle
TitleMaking security type systems less ad hoc
AuthorsNipkow, T. and Popescu, A.
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.

Research GroupFoundations of Computing group
PublisherDe Gruyter
JournalInformation Technology
ISSN1611-2776
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 www.degruyter.com

Digital Object Identifier (DOI)https://doi.org/10.1515/itit-2014-1060
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/85122

Download files


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

Export as