To know or not to know: epistemic approaches to security protocol verification
Journal Article
(2010)
DOI related publication
https://doi.org/10.1007/s11229-010-9765-8
To reference this document use:
https://resolver.tudelft.nl/uuid:96cd3105-55dc-495a-adb1-de7c7249fd05
More Info
expand_more
expand_more
Publication Year
2010
Issue number
S1
Volume number
177
Pages (from-to)
51-76
No files available
Metadata only record. There are no files for this record.