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

F Dechesne, Y Wang

Research output: Contribution to journalArticleScientificpeer-review

16 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)51-76
Number of pages26
JournalSynthese: an international journal for epistemology, methodology and philosophy of science
Volume177
Issue numberS1
DOIs
Publication statusPublished - 2010

Keywords

  • CWTS 0.75 <= JFIS < 2.00

Cite this