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 条
  • [31] Study of common pitfalls in simple multi-threaded programs
    Choi, Sung-Eun
    Lewis, E. Christopher
    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 2000, : 325 - 329
  • [32] Non-Interference for Deterministic Interactive Programs
    Clark, David
    Hunt, Sebastian
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 50 - +
  • [33] Interactive visualization environment of multi-threaded parallel programs
    Stein, B
    de Kergommeaux, JC
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
  • [34] Information Flow Security of Multi-Threaded Distributed Programs
    Focardi, Riccardo
    Centenaro, Matteo
    PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
  • [35] Threader: A Verifier for Multi-threaded Programs (Competition Contribution)
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 633 - 636
  • [36] Handling information release and erasure in multi-threaded programs
    Jiang, Li
    Ping, Lingdi
    Pan, Xuezeng
    CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
  • [37] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 13 - 24
  • [38] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Marieke Huisman
    The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
  • [39] Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation
    Boelmann, Christopher
    Schwittmann, Lorenz
    Weis, Torben
    PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 381 - 390
  • [40] A study of common pitfalls in simple multi-threaded programs
    Choi, SE
    Lewis, EC
    SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 325 - 329
12345