An Effective Stackelberg Game for High-Assurance of Data Trustworthiness in WSNs

被引:0
|
作者
Abdalzaher, Mohamed S. [1 ]
Seddik, Karim [2 ]
Muta, Osamu [3 ]
机构
[1] NRIAG, Seismol Dept, Cairo, Egypt
[2] Amer Univ Cairo, Elect & Commun Engn Dept, AUC Ave, New Cairo 11835, Egypt
[3] Kyushu Univ, Ctr Japan Egypt Cooperat Sci & Technol, Fukuoka, Japan
关键词
Wireless Sensor Networks; Power Grid Networks; Game theory;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Wireless Sensor Networks (WSNs) security plays an intrinsic role to guarantee efficient data transmission, stable network topologies, and robust routing algorithms. In this paper, we propose a modified Stackelberg game of a previous work for high assurance of data trustworthiness in a Power Grid Network (PGN). The proposed approach is presented to mitigate a more severe attack scenario compared to that considered in the previous work; this attack scenario frequently manipulates sets of the deployed nodes in the PGN, which cannot be treated using the previously proposed approach. Our proposed scheme reduces the required number of nodes to be protected to achieve the desired data trustworthiness. Simulation results prove efficient detection for corrupted transmitted data based on limited number of nodes as compared to the previously proposed approach.
引用
收藏
页码:1257 / 1262
页数:6
相关论文
共 50 条
  • [21] Toward integrated methods for high-assurance systems
    Yen, IL
    Paul, R
    Mori, K
    COMPUTER, 1998, 31 (04) : 32 - 34
  • [22] High-assurance service-oriented architectures
    Dong, Jing
    Paul, Raymond A.
    Zhang, Liang-Jie
    COMPUTER, 2008, 41 (08) : 27 - 28
  • [23] The MILS architecture for high-assurance embedded systems
    Alves-Foss, Jim
    Oman, Paul W.
    Taylor, Carol
    Harrison, W. Scott
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (3-4) : 239 - 247
  • [24] An assurance process for Big Data trustworthiness
    Anisetti, Marco
    Ardagna, Claudio A.
    Berto, Filippo
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2023, 146 : 34 - 46
  • [25] Formal Verification for High-Assurance Behavioral Synthesis
    Ray, Sandip
    Hao, Kecheng
    Chen, Yan
    Xie, Fei
    Yang, Jin
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 337 - +
  • [26] The SSP: An example of high-assurance systems engineering
    Wickstrom, GL
    Davis, J
    Morrison, SE
    Roach, S
    Winter, VL
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 167 - 177
  • [27] High-assurance distributed, adaptive software for dynamic systems
    Rohloff, Kurt
    Loyall, Joseph
    Pal, Partha
    Schantz, Richard
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 385 - 386
  • [28] High-Assurance Cryptography for Web-Based Enterprises
    Simpson, William R.
    Chandersekaran, Coimbatore
    TRANSACTIONS ON ENGINEERING TECHNOLOGIES: SPECIAL ISSUE OF THE WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE 2013, 2014, : 177 - 191
  • [29] COGENT: Verifying High-Assurance File System Implementations
    Amani, Sidney
    Hixon, Alex
    Chen, Zilin
    Rizkallah, Christine
    Chubb, Peter
    O'Connor, Liam
    Beeren, Joel
    Nagashima, Yutaka
    Lim, Japheth
    Sewell, Thomas
    Tuong, Joseph
    Keller, Gabriele
    Murray, Toby
    Klein, Gerwin
    Heiser, Gernot
    ACM SIGPLAN NOTICES, 2016, 51 (04) : 175 - 188
  • [30] The Specification, Verification, and Implementation of a High-Assurance Data Structure: An ACL2 Approach
    Hardin, David S.
    PROCEEDINGS OF THE 46TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2013, : 5059 - 5067