Nipkow, T. and Popescu, A. orcid.org/0000-0001-8747-0619 (2014) Making security type systems less ad hoc. IT - Information Technology, 56 (6). pp. 267-272. ISSN 1611-2776
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2014 Walter de Gruyter Berlin/Boston. Reproduced in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 05 Oct 2022 08:20 |
Last Modified: | 05 Oct 2022 08:20 |
Status: | Published |
Publisher: | De Gruyter |
Refereed: | Yes |
Identification Number: | 10.1515/itit-2014-1060 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:191519 |