A typed natural deduction calculus to reason about secure trust
Conference paper
Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963
Type | Conference paper |
---|---|
Title | A typed natural deduction calculus to reason about secure trust |
Authors | Primiero, G. and Raimondi, F. |
Abstract | System integrity can be put at risk by unintentional transitivity of resource access. We present a natural deduction calculus for an access control model with an explicit trust function on resources. Its inference relation is designed to limit unintentionally transitive access from untrusted parties. We also offer results for ordered cut and normalization related to security and hint at a prototype implementation. |
Research Group | Foundations of Computing group |
Conference | 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST) |
Page range | 379-382 |
ISBN | |
Hardcover | 9781479935024 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Publication dates | |
2014 | |
Publication process dates | |
Deposited | 23 Apr 2015 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Digital Object Identifier (DOI) | https://doi.org/10.1109/PST.2014.6890963 |
Language | English |
Book title | 2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST) |
https://repository.mdx.ac.uk/item/85109
Download files
40
total views6
total downloads1
views this month0
downloads this month