GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH

GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH

Ph.D

Saved in:
Bibliographic Details
Main Author: MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2020
Subjects:
BAR, Nash-equilibrium, Game-theory, Multi-agent-systems, Verification, Model-checking
Online Access:https://scholarbank.nus.edu.sg/handle/10635/167552
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-167552
record_format dspace
spelling sg-nus-scholar.10635-1675522021-02-19T09:11:03Z GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH MAHAMARAKKALAGE DILEEPA YASAS FERNANDO COMPUTER SCIENCE Dong Jin Song BAR, Nash-equilibrium, Game-theory, Multi-agent-systems, Verification, Model-checking Ph.D DOCTOR OF PHILOSOPHY (SOC) 2020-04-30T18:00:39Z 2020-04-30T18:00:39Z 2019-09-24 Thesis MAHAMARAKKALAGE DILEEPA YASAS FERNANDO (2019-09-24). GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/167552 en
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
language English
topic BAR, Nash-equilibrium, Game-theory, Multi-agent-systems, Verification, Model-checking
spellingShingle BAR, Nash-equilibrium, Game-theory, Multi-agent-systems, Verification, Model-checking
MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
format Theses and Dissertations
author MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
author_sort MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
title GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
title_short GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
title_full GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
title_fullStr GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
title_full_unstemmed GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
title_sort game theory secure probabilistic protocols: a model checking approach
publishDate 2020
url https://scholarbank.nus.edu.sg/handle/10635/167552
_version_ 1693115974442549248

Similar Items