Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir
Public announcement logic with common knowledge (PAC) is a logic that formalizes the notion of epistemic update. The main objective of this study is to propose a labelled natural deduction proof system for PAC and to show some applications of PAC in the cryptographic protocol. We begin by modifying...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 出版: |
2019
|
| 主題: | |
| 在線閱讀: | http://studentsrepo.um.edu.my/12176/2/Muhammad_Farhan.pdf http://studentsrepo.um.edu.my/12176/1/Muhammad_Farhan.pdf http://studentsrepo.um.edu.my/12176/ |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|