About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing

Research Article

Modelling Bayesian attacker detection game in wireless networks with epistemic logic

Download732 downloads
Cite
BibTeX Plain Text
  • @INPROCEEDINGS{10.4108/icst.collaboratecom.2012.250693,
        author={Oldooz Dianat},
        title={Modelling Bayesian attacker detection game in wireless networks with epistemic logic},
        proceedings={8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing},
        publisher={IEEE},
        proceedings_a={COLLABORATECOM},
        year={2012},
        month={12},
        keywords={bayesian games epistemic logic wireless network security},
        doi={10.4108/icst.collaboratecom.2012.250693}
    }
    
  • Oldooz Dianat
    Year: 2012
    Modelling Bayesian attacker detection game in wireless networks with epistemic logic
    COLLABORATECOM
    ICST
    DOI: 10.4108/icst.collaboratecom.2012.250693
Oldooz Dianat,*
    *Contact email: oldooz.dianat@mq.edu.au

    Abstract

    In collaborative networks operating over a wireless medium, to maximize connectivity of the network, two nodes that are not directly connected may need to communicate with one another through other nodes in the network. However in such networks, not all nodes are reliable. Therefore it may be necessary for legitimate users to monitor the behavior of other nodes such that they can form a belief about whether those nodes are potential attackers or not. These beliefs can be studied precisely in game theoretic scenarios such as Bayesian attacker detection games. These games are strategic games with incomplete information for modeling the interaction between nodes in wireless networks with channel uncertainty. However these games do not normally consider the reasoning abilities of agents. One solution is to use formal logics which allow for modeling the reasoning abilities of agents as well as allowing formal reasoning about certain properties of games such as the Nash equilibrium. In this paper, we propose an epistemic logic to study strategic games with incomplete information. In this logic we can precisely describe what the requirements and consequences of informative actions are. We can reason what rational agents should do if they can choose between different available actions. In addition, this language can be used as a semantically well-defined query language for model checkers to automatically verify the game descriptions with respect to their intended specifications.

    Keywords
    bayesian games epistemic logic wireless network security
    Published
    2012-12-14
    Publisher
    IEEE
    http://dx.doi.org/10.4108/icst.collaboratecom.2012.250693
    Copyright © 2012–2025 ICST
    EBSCOProQuestDBLPDOAJPortico
    EAI Logo

    About EAI

    • Who We Are
    • Leadership
    • Research Areas
    • Partners
    • Media Center

    Community

    • Membership
    • Conference
    • Recognition
    • Sponsor Us

    Publish with EAI

    • Publishing
    • Journals
    • Proceedings
    • Books
    • EUDL