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/ |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| id |
my.um.stud.12176 |
|---|---|
| record_format |
eprints |
| spelling |
my.um.stud.121762021-04-26T22:46:11Z Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir Muhammad Farhan , Mohd Nasir QA Mathematics 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 the Kripke model that is capable of giving semantics to formulas having announcement indexing. Then, a labelled natural deduction for PAC (NPAC) is proposed and its soundness and completeness are proven. Then, we proved its normalization using a proof-theoretic semantical notion of validity of a derivation. Finally, an application of PAC in cryptographic protocol is presented. 2019-09 Thesis NonPeerReviewed application/pdf http://studentsrepo.um.edu.my/12176/2/Muhammad_Farhan.pdf application/pdf http://studentsrepo.um.edu.my/12176/1/Muhammad_Farhan.pdf Muhammad Farhan , Mohd Nasir (2019) Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir. Masters thesis, University of Malaya. http://studentsrepo.um.edu.my/12176/ |
| institution |
Universiti Malaya |
| building |
UM Library |
| collection |
Institutional Repository |
| continent |
Asia |
| country |
Malaysia |
| content_provider |
Universiti Malaya |
| content_source |
UM Student Repository |
| url_provider |
http://studentsrepo.um.edu.my/ |
| topic |
QA Mathematics |
| spellingShingle |
QA Mathematics Muhammad Farhan , Mohd Nasir Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| description |
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 the Kripke model that is capable of giving semantics to formulas having announcement indexing. Then, a labelled natural deduction for PAC (NPAC) is proposed and its soundness and completeness are proven. Then, we proved its normalization using a proof-theoretic semantical notion of validity of a derivation. Finally, an application of PAC in cryptographic protocol is presented.
|
| format |
Thesis |
| author |
Muhammad Farhan , Mohd Nasir |
| author_facet |
Muhammad Farhan , Mohd Nasir |
| author_sort |
Muhammad Farhan , Mohd Nasir |
| title |
Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| title_short |
Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| title_full |
Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| title_fullStr |
Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| title_full_unstemmed |
Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir |
| title_sort |
public announcement logic in cryptographic protocol / muhammad farhan mohd nasir |
| publishDate |
2019 |
| url |
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/ |
| _version_ |
1738506578289491968 |
| score |
13.250246 |