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

Overview of attention for article published in Synthese, August 2010

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter: 2 X users

Citations

dimensions_citation: 13 Dimensions

Readers on

mendeley: 17 Mendeley
citeulike: 1 CiteULike

Summary X Dimensions citations

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 8,376 followers.

"To know or not to know: epistemic approaches to security protocol verification" from 2010. A very helpful overview of the field at the time. Is there an equivalent more recent effort? https://t.co/PiKIDTZpuW

27 Sep 2019

Reply Repost Favourite

#OA Synthese! epistemic approaches to security protocol verification https://t.co/WR3hVsn20o

05 Mar 2018

Reply Repost Favourite