Giuseppe Primiero, Franco Raimondi. A typed natural deduction calculus to reason about secure trust. In 2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014. pages 379-382, IEEE, 2014. [doi]
Abstract is missing.