Using first-order theorem provers for security protocol verification
In today’s computer-dominated world, cryptographic security protocols are exceptionally important in ensuring secure communication over an insecure network. Hence, this has led to much research in this field, leading to security protocols being developed and deployed. However, a majority of these ex...
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Final Year Project |
| 語言: | English |
| 出版: |
2015
|
| 主題: | |
| 在線閱讀: | http://hdl.handle.net/10356/62870 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|