A typed natural deduction calculus to reason about secure trust.

Giuseppe Primiero, Franco Raimondi

Browse the full PST paper archive.