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.
A typed natural deduction calculus to reason about secure trust / G. Primiero, F. Raimondi - In: 2014 Twelfth Annual International Conference on Privacy, Security and Trust[s.l] : IEEE, 2014. - ISBN 9781479935024. - pp. 379-382 (( Intervento presentato al 12. convegno Annual International Conference on Privacy, Security and Trust (PST) tenutosi a Toronto nel 2014.
A typed natural deduction calculus to reason about secure trust
G. Primiero;F. Raimondi
2014
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.File | Dimensione | Formato | |
---|---|---|---|
33023000MT028.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
281.26 kB
Formato
Adobe PDF
|
281.26 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
primiero.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
328.43 kB
Formato
Adobe PDF
|
328.43 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.