DMCA

To Know or not to Know: Epistemic Approaches to Security Protocol Verification (2010)

Cached

Download Links

by Francien Dechesne , Yanjing Wang
Venue:Synthese
Citations:7 - 3 self