Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Chen, Xiaojuan, Deng, HuiwenVolume:
10
Journal:
Applied Sciences
DOI:
10.3390/app10186577
Date:
September, 2020
File:
PDF, 348 KB
2020