Security Check for Multi-threaded Programs

被引：0

作者：

Tri Minh Ngo ^{[1
]}

Tuan Van Nguyen ^{[1
]}

机构：

[1] Univ Danang, Univ Sci & Technol, Da Nang, Vietnam

来源：

2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE) | 2016年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

This paper proposes an approach to check whether a multi-threaded program is secure or not. We combine two methods, i.e., qualitative and quantitative security analysis, together. Therefore, this approach could offer a complete solution for the confidentiality problem of software.

引用

页码：465 / 470

页数：6

共 50 条

[1] Quantitative Security Analysis for Multi-threaded Programs
Ngo, Tri Minh
Huisman, Marieke
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 34 - 48
[2] A generic approach to the security of multi-threaded programs
Mantel, H
Sabelfeld, A
[J]. 14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 126 - 142
[3] Information Flow Security of Multi-Threaded Distributed Programs
Focardi, Riccardo
Centenaro, Matteo
[J]. PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
[4] Information Declassification for Multi-Threaded Programs
Zhu, Hao
Zhuang, Yi
Chen, Xiang
[J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
[5] A Basis for Verifying Multi-threaded Programs
Rustan, K.
Leino, M.
Mueller, Peter
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
[6] Extending Security for Multi-Threaded Servers
Simmons, Sharon
Edwards, Dennis
[J]. WMSCI 2008: 12TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS, 2008, : 140 - 144
[7] Probabilistic noninterference for multi-threaded programs
Sabelfeld, A
Sands, D
[J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
[8] Information leakage of multi-threaded programs
Noroozi, Ali A.
Karimpour, Jaber
Isazadeh, Ayaz
[J]. COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
[9] Regression Verification for Multi-threaded Programs
Chaki, Sagar
Gurfinkel, Arie
Strichman, Ofer
[J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
[10] Causal Termination of Multi-threaded Programs
Kupriyanov, Andrey
Finkbeiner, Bernd
[J]. COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830

← 1 2 3 4 5 →