Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir

QR Code

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

Bibliographic Details
Main Author:	Muhammad Farhan , Mohd Nasir
Format:	Thesis
Published:	2019
Subjects:	QA Mathematics
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

Similar Items

Domestic travel behaviour among Generation Y / Farhan Faat, Nurul Hazirah Mohd Nasir and Nik Mohd Shahril Nik Mohd Nor
by: Faat, Farhan, et al.
Published: (2017)

Securing anonymous authenticated announcement protocol for group signature in internet of vehicle / Nur Afiqah Suzelan Amir
by: Nur Afiqah , Suzelan Amir
Published: (2021)

Fuzzy time series forecasting model based on various types of similarity measure approach / Nik Muhammad Farhan Hakim Nik Badrul Alam and Nazirah Ramli
by: Nik Badrul Alam, Nik Muhammad Farhan Hakim, et al.
Published: (2019)

Malaysian coffee products : a rebranding of Kopiesatu as a case study / Muhammad Farhan Mohd Abas
by: Mohd Abas, Muhammad Farhan
Published: (2013)

Rock blasting practices in Malaysian quarry industries / Muhammad Farhan Zulkifli
by: Zulkifli, Muhammad Farhan
Published: (2009)

Interactive bowling portal (IBP) / Norhazrina Muhammad Nasir
by: Norhazrina , Muhammad Nasir
Published: (2005)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

An investigation on leakage problem in IBS building / Muhammad Farhan Afiq Zailan Kamaruddin
by: Zailan Kamaruddin, Muhammad Farhan Afiq
Published: (2013)

The decisive factors and the types of corporate social responsibility activities implemented by public listed companies in Malaysia / Mohd Farhan Mohd Areffin
by: Mohd Areffin, Mohd Farhan
Published: (2009)

The development of new crescent moon visibility criteria using circular regression model / Zuhaili Mohd Nasir
by: Zuhaili , Mohd Nasir
Published: (2021)

Ministry of Higher Education announced that Ahmad Farhan will be appointed as the principal of UPM effective October 2
by: Sin Chew Daily
Published: (2023)

Cryptanalysis in cryptographic algorithm design
by: Z'aba, Muhammad Reza, et al.
Published: (2006)

Nasir al-Din al-Tusi's understanding of trigonometry
by: Isqeel , Abdullateef Ayodele, et al.
Published: (2011)

FPGA Implementation of RSA Public-Key Cryptographic Coprocessor
by: Hani, Mohamed Khalil, et al.
Published: (2000)

Arome Enterprise / Syarif Farhan Mohd Fauz...[et al.]
by: Mohd Fauzi, Syarif Farhan, et al.
Published: (2019)

A study on the efficiency and effectiveness of the Malaysian anti-corruption commission with special reference to the international commission against corruption, Hong Kong / Muhammad Farhan Abd Ghani, Muhammad Aizat Mohd Zaid and Muhammad Hazwan Mohd Hussin
by: Abd Ghani, Muhammad Farhan, et al.
Published: (2011)

Zakat atas syarikat di Malaysia: analisis potensi / Muhammad Ikhlas Rosele, Luqman Hj. Abdullah and Mohd Farhan Md. Ariffin
by: Rosele, Muhammad Ikhlas, et al.
Published: (2015)

E-SAAS: Web based development of grade report students assessment analysis system / Muhammad Farhan Misnan
by: Misnan, Muhammad Farhan
Published: (2007)

The concept of Waqf and development of infrastructure of Waqf in Selangor / Ahmad Farhan Mohd Hassan
by: Mohd Hassan, Ahmad Farhan
Published: (2016)

Research on forklift system / Mohd Khairul Adha Rosli and Mohd. Fairuz Farhan Jamaluddin
by: Rosli, Mohd Khairul Adha, et al.
Published: (2002)

Logicpower5: Smart Fan Chip / Muhammad Farhan Abd Halim [et al.]
by: Abd Halim, Muhammad Farhan, et al.
Published: (2018)

A legal research on regulating outer space activities in Malaysia / Muhammad Syafiqz Mohd Nasir
by: Mohd Nasir, Muhammad Syafiqz
Published: (2017)

The development of framework in software implementation to enhance contractor's construction cost estimate / Mohd Farhan Mohd Mukelas
by: Mohd Mukelas, Mohd Farhan
Published: (2015)

Biogeography and systematics of the eulipotyphlans (Genus Chimarrogale, Hylomys and Crocidura) from Peninsular Malaysia / Muhammad Farhan Abd Wahab
by: Muhammad Farhan, Abd Wahab
Published: (2022)

Factors affecting individual investment decision on residential properties / Muhammad Farhan Ramlan and Siti Nurulain Zulkarnain
by: Ramlan, Muhammad Farhan, et al.
Published: (2013)

A case study on the improvement of productivity and efficiency of a quality control line for a cutting tool manufacturer / Muhammad Farhan Mohd Suhaimi and Noor Azlina Mohd Salleh
by: Mohd Suhaimi, Muhammad Farhan, et al.
Published: (2018)

The international stock market interdependence between Malaysia, Singapore and Indonesia / Mohd Farhan Jafri
by: Jafri, Mohd Farhan
Published: (2009)

Coalition announcements
by: Galimullin, Rustam
Published: (2019)

Bangunan Sultan Idris Shah, JAIS / Muhammad Amir Farhan Zulkafli ... [et al.]
by: Muhammad Amir Farhan, Zulkafli, et al.
Published: (2019)

Residually finite properties of groups / Muhammad Sufi Mohd Asri
by: Muhammad Sufi , Mohd Asri
Published: (2018)

Foreigner’s satisfaction towards tourism Malaysia Pahang’s services / Nadia Farhan Mohd Shalahim
by: Mohd Shalahim, Nadia Farhan
Published: (2010)

Purchase intention among young generation towards imitation products / Mohd Aliff Farhan Miat and Nurzafirah Mohd Zamri
by: Miat, Mohd Aliff Farhan, et al.
Published: (2014)

Study on the factors which influence youth knowledge in IM4U program at Taman Malinja, Bukit Baru, Melaka / Muhammad Farhan Muhamad and Nuzrulizwan Mohd Salehan
by: Muhamad, Muhammad Farhan, et al.
Published: (2013)

Mobile application of smart lab report management with QR code reader / Mohd Farhan Khalit
by: Khalit, Mohd Farhan
Published: (2017)

Menara KPJ Healthcare, Jalan Tun Razak, Kuala Lumpur / Muhammad Zul Farhan Muhammad Zulkifli ... [et al.]
by: Muhammad Zul Farhan, Muhammad Zulkifli, et al.
Published: (2019)

The determinants of capital structure for construction firms listed in Bursa Malaysia / Muhammad Imran Arif Mohd Nasir
by: Mohd Nasir, Muhammad Imran Arif
Published: (2017)

Simulation on air conditioning using fuzzy logic
by: Bibi Rubiatul Adawiah, Mustafa Kamal
Published: (2012)

Fuzzy logic model for dynamic multiprocessor scheduling
by: Salleh, Shaharuddin, et al.
Published: (1999)

Peralatan sokongan untuk perancangan sistem maklumat / Nurliza Mohd Nasir
by: Nurliza , Mohd Nasir
Published: (2004)

Imitation learning through self-exploration : from body-babbling to visuomotor association / Farhan Dawood
by: Dawood, Farhan
Published: (2015)