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]
@inproceedings{PrimieroR14,
title = {A typed natural deduction calculus to reason about secure trust},
author = {Giuseppe Primiero and Franco Raimondi},
year = {2014},
doi = {10.1109/PST.2014.6890963},
url = {http://dx.doi.org/10.1109/PST.2014.6890963},
researchr = {https://researchr.org/publication/PrimieroR14},
cites = {0},
citedby = {0},
pages = {379-382},
booktitle = {2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014},
publisher = {IEEE},
isbn = {978-1-4799-3502-4},
}