Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs

Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs

Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers. This paper discusses how to ensure confidentiality for multi-threaded...

Full description

Bibliographic Details
Main Authors: Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh
Format: Article
Language:English
Published: MDPI AG 2019-06-01
Series:Mathematical and Computational Applications
Subjects:
information security
secure information flow
bisimulation
multi-threaded programs
Online Access:https://www.mdpi.com/2297-8747/24/2/64

Similar Items

Similar Items