Cover Image

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...

Full description

Saved in:
Bibliographic Details
Main Author: Muhammad Farhan , Mohd Nasir
Format: Thesis
Published: 2019
Subjects:
QA Mathematics
Online Access: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/
Tags: Add Tag
No Tags, Be the first to tag this record!
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.211869

Similar Items