Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task. In this work, we develop a formal method base...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
MDPI AG
2020-09-01
|
| Col·lecció: | Applied Sciences |
| Matèries: | |
| Accés en línia: | https://www.mdpi.com/2076-3417/10/18/6577 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|