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...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://studentsrepo.um.edu.my/12176/ http://studentsrepo.um.edu.my/12176/2/Muhammad_Farhan.pdf http://studentsrepo.um.edu.my/12176/1/Muhammad_Farhan.pdf |