表紙画像

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

保存先:

書誌詳細
第一著者:	Muhammad Farhan , Mohd Nasir
フォーマット:	学位論文
出版事項:	2019
主題:	QA Mathematics
オンライン･アクセス:	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/
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

A secured openflow protocol using Elliptic Curves Cryptographic for software defined networks
著者:: Khalil Al Dulaimi, L.A., 等
出版事項: (2018)

A study on the level of public knowledge, attitudes and awareness towards public participation in solid waste management / Muhammad Syahmi Farhan Nasir
著者:: Nasir, Muhammad Syahmi Farhan
出版事項: (2018)

Security evaluation over lightweight cryptographic protocols
著者:: Ghoreishi, S. M., 等
出版事項: (2015)

Securing anonymous authenticated announcement protocol for group signature in internet of vehicle / Nur Afiqah Suzelan Amir
著者:: Nur Afiqah , Suzelan Amir
出版事項: (2021)

Cryptanalysis of fruit-80, craft and cham lightweight symmetric-key cryptographic primitives
著者:: Pang, Kok An
出版事項: (2021)

The extraction of derris elliptica leaves / Muhammad Farhan Mohd Sith
著者:: Mohd Sith, Muhammad Farhan
出版事項: (2014)

Fuzzy time series forecasting model based on various types of similarity measure approach / Nik Muhammad Farhan Hakim Nik Badrul Alam and Nazirah Ramli
著者:: Nik Badrul Alam, Nik Muhammad Farhan Hakim, 等
出版事項: (2019)

Cryptanalysis in cryptographic algorithm design
著者:: Z'aba, Muhammad Reza, 等
出版事項: (2006)

Sports Service / Muhammad Farhan Mansor
著者:: Mansor, Muhammad Farhan
出版事項: (2020)

ENT 300: Zinxstore.mY / Muhammad Farhan Mohd Mezlan
著者:: Mohd Mezlan, Muhammad Farhan
出版事項: (2021)

FPGA Implementation of RSA Public-Key Cryptographic Coprocessor
著者:: Hani, Mohamed Khalil, 等
出版事項: (2000)

Domestic travel behaviour among Generation Y / Farhan Faat, Nurul Hazirah Mohd Nasir and Nik Mohd Shahril Nik Mohd Nor
著者:: Faat, Farhan, 等
出版事項: (2017)

Hellinger distance decision tree (HDDT) classification of gender with imbalance statistical face features / Muhamad Hasbullah Mohd Razali, Muhammad Farhan Muhammad and Balkiah Moktar
著者:: Mohd Razali, Muhamad Hasbullah, 等
出版事項: (2018)

Tempatan fest / Muhammad Nashraf Mohd Nasir
著者:: Mohd Nasir, Muhammad Nashraf
出版事項: (2022)

Oral B / Muhammad Farhan Md Ismail
著者:: Md Ismail, Muhammad Farhan
出版事項: (2021)

The construction of substructure / Muhammad Farhan Ahmad Asri
著者:: Ahmad Asri, Muhammad Farhan
出版事項: (2013)

Interdependencies of quarter report announcement in stock price volatility: comparative analysis of construction industries/ Mohamed Farhan Mohamed Firdaus
著者:: Mohamed Firdaus, Mohamed Farhan
出版事項: (2017)

Nasir al-Din al-Tusi's understanding of trigonometry
著者:: Isqeel , Abdullateef Ayodele, 等
出版事項: (2011)

An analysis of service quality among tourists in Broga Hills / Muhammad Farhan Mohd Yatim
著者:: Mohd Yatim, Muhammad Farhan
出版事項: (2016)

Interactive bowling portal (IBP) / Norhazrina Muhammad Nasir
著者:: Norhazrina , Muhammad Nasir
出版事項: (2005)

Numerical solution of hyperbolic Goursat partial differential equations with hybrid central difference: Taylor series expansions method / Ros Fadilah Deraman, Mohd Agos Salim Nasir and Rizauddin Saian
著者:: Deraman, Ros Fadilah, 等
出版事項: (2024)

The development of new crescent moon visibility criteria using circular regression model / Zuhaili Mohd Nasir
著者:: Zuhaili , Mohd Nasir
出版事項: (2021)

Automatic drain rubbish collector / Muhammad Farhan Azlan
著者:: Azlan, Muhammad Farhan
出版事項: (2023)

Broad view of cryptographic hash functions
著者:: Alahmad, Mohammad, 等
出版事項: (2013)

Prioritizing chapter importance for intensive mathematics using fuzzy analytical hierarchy process / Nik Muhammad Farhan Hakim Nik Badrul Alam, Nazihah Ismail and Anisah Dasman
著者:: Nik Badrul Alam, Nik Muhammad Farhan Hakim, 等
出版事項: (2021)

Public Perception on the Factors Affecting Corruption in the Public Sector as Perceived by the Public / Mohd Farhan Gou Rahman and Mohd Hafiz Hamdan
著者:: Gou Rahman, Mohd Farhan, 等
出版事項: (2010)

Audio steganography using least significant bit and AES cryptographic algorithm / Nurul Hidayah Ahmad Zukri
著者:: Ahmad Zukri, Nurul Hidayah, 等
出版事項: (2018)

Knapsack problem on items for luggage fitting for light travellers / Amirur Ridhwan Jalallilmubin, Raja Mohd Ilham Syafiq Raja Seman and Muhammad Muhsinul Mursyid Mohd Nasir
著者:: Jalallilmubin, Amirur Ridhwan, 等

Commodity price analysis by using logic mining
著者:: Alway, Alyaa, 等
出版事項: (2020)

Design of building using AutoCAD / Muhammad Farhan Rusdi
著者:: Rusdi, Muhammad Farhan
出版事項: (2013)

GEDE-GANG Sdn. Bhd. / Muhammad Farhan Mohd Fauzi ... [et al.]
著者:: Mohd Fauzi, Muhammad Farhan, 等

Malaysian coffee products : a rebranding of Kopiesatu as a case study / Muhammad Farhan Mohd Abas
著者:: Mohd Abas, Muhammad Farhan
出版事項: (2013)

Fuzzy logic model for dynamic multiprocessor scheduling
著者:: Salleh, Shaharuddin, 等
出版事項: (1999)

Simulation on air conditioning using fuzzy logic
著者:: Bibi Rubiatul Adawiah, Mustafa Kamal
出版事項: (2012)

Ministry of Higher Education announced that Ahmad Farhan will be appointed as the principal of UPM effective October 2
著者:: Sin Chew Daily
出版事項: (2023)

Food rack project / Muhammad Irsyad Fakruddin Mohd Nasir
著者:: Mohd Nasir, Muhammad Irsyad Fakruddin
出版事項: (2022)

A study on maintenance management of water theme parks / Muhammad Farhan Husin
著者:: Muhammad Farhan Husin, Muhammad Farhan
出版事項: (2012)

Fuzzy logic controller simulation for water tank level control
著者:: Saflida, Mohd Nor
出版事項: (2006)

Nonlinear uniform consensus: a polynomial protocol
著者:: Saburov, Mansoor, 等
出版事項: (2014)

Deterministic six states protocol for quantum communication
著者:: Shamsul Shaari, Jesni, 等
出版事項: (2006)