Verifying security protocols using BAN logic
Facultatea de Matematica si Informatica, sala 202Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Epistemic logics - logics aimed at reasoning about knowledge and belief - are widely considered to be suitable for modelling, analyzing and predicting …