Computing Publications

Publications Home » A logic based approach to reasoni...

A logic based approach to reasoning with beliefs about trust

Fariba Sadri, Francesca Toni

Conference or Workshop Paper
Workshop on automated reasoning for security protocols analysis, affiliated to IJCAR 04, Cork, 4 July 2004
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.