A typed natural deduction calculus to reason about secure trust
Primiero, Giuseppe and Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713
(2014)
A typed natural deduction calculus to reason about secure trust.
2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST).
In: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada.
ISBN 9781479935024.
[Conference or Workshop Item]
(doi:10.1109/PST.2014.6890963)
|
PDF (Conference Paper)
- Final accepted version (with author's formatting)
Download (240kB) | Preview |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 15147 |
| Notes on copyright: | © 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. |
| Useful Links: | |
| Depositing User: | Giuseppe Primiero |
| Date Deposited: | 23 Apr 2015 09:02 |
| Last Modified: | 29 Nov 2022 23:59 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15147 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)