DocumentCode
1800008
Title
A typed natural deduction calculus to reason about secure trust
Author
Primiero, Giuseppe ; Raimondi, Ferdinando
Author_Institution
Dept. of Comput. Sci., Middlesex Univ., London, UK
fYear
2014
fDate
23-24 July 2014
Firstpage
379
Lastpage
382
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.
Keywords
authorisation; calculus; data integrity; trusted computing; access control model; explicit trust function; natural deduction calculus; system integrity; Access control; Calculus; Computational modeling; Computer science; Protocols; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Privacy, Security and Trust (PST), 2014 Twelfth Annual International Conference on
Conference_Location
Toronto, ON
Print_ISBN
978-1-4799-3502-4
Type
conf
DOI
10.1109/PST.2014.6890963
Filename
6890963
Link To Document