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/ |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!