Advanced Search
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2025  > Accepted Manuscript
WANG Zi, LAN Yuqing. A formal modeling and verification method for operating system kernel memory attacks based on TLA+ abstract model[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2025.0649(in Chinese)
Citation: WANG Zi, LAN Yuqing. A formal modeling and verification method for operating system kernel memory attacks based on TLA+ abstract model[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2025.0649(in Chinese)
shu

A formal modeling and verification method for operating system kernel memory attacks based on TLA+ abstract model

doi: 10.13700/j.bh.1001-5965.2025.0649
  • Available Online: 29 Dec 2025

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(1)

    Get Citation
    PDF
    XML

    Article Metrics

    Article views(123) PDF downloads(0) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return