To know or not to know: epistemic approaches to security protocol verification.

Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorporate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field an...

Full description

Bibliographic Details

Published in:	Synthese Vol. 177; pp. 51 - 77
Main Authors:	Dechesne, Francien, Yanjing Wang
Format:	Article
Published:	Springer Nature Dec2010 Supplement
Subjects:	Computer security Computer network protocols Intelligent agents Computer logic Programming languages
Online Access:	View this record in EBSCOhost