Logic of multi-threaded programs for non-interference

被引：0
|
作者：
Li, Qin [1 ]
Zeng, Qing-Kai [2 ,3 ]
Yuan, Zhi-Xiang [1 ]
机构：
[1] School of Computer, Anhui University of Technology, Maanshan 243032, China
[2] State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210023, China
[3] Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2014年 / 25卷 / 06期
关键词：
D O I：
10.13328/j.cnki.jos.004429
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1143 / 1153
相关论文
共 50 条
  • [1] A Dynamic Logic for deductive verification of multi-threaded programs
    Beckert, Bernhard
    Klebanov, Vladimir
    [J]. FORMAL ASPECTS OF COMPUTING, 2013, 25 (03) : 405 - 437
  • [2] Security Check for Multi-threaded Programs
    Tri Minh Ngo
    Tuan Van Nguyen
    [J]. 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
  • [3] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [4] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [5] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    [J]. COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [6] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [7] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [8] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [9] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    [J]. SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
  • [10] Synergistic Timing Speculation for Multi-threaded Programs
    Yasin, Atif
    Zhang, Jeff
    Chen, Hu
    Garg, Siddharth
    Roy, Sanghamitra
    Chakraborty, Koushik
    [J]. 2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
12345