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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 177; pp. 51 - 77
Autores principales:	Dechesne, Francien, Yanjing Wang
Formato:	Artículo
Publicado:	Springer Nature Dec2010 Supplement
Materias:	Computer security Computer network protocols Intelligent agents Computer logic Programming languages
Acceso en línea:	Ver este registro en EBSCOhost