Baidu
map

Verifying Weak Probabilistic Noninterference

Noroozi, AA; Karimpour, J; Isazadeh, A; Lotfi, S

Noroozi, AA (reprint author), Univ Tabriz, Dept Comp Sci, Tabriz, Iran.

INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2017; 8 (10): 196

Abstract

Weak probabilistic noninterference is a security property for enforcing confidentiality in multi-threaded programs. It aims to guarantee secure flow o......

Full Text Link


Baidu
map
Baidu
map
Baidu
map