Information Declassification for Multi-Threaded Programs

Authors

Hao Zhu, School of Computer Science and Technology, Nanjing University of Aeronautics Astronautics, Nanjing, 210016, P. R. China\\ School of Computer Science and Technology, Nantong University, Nantong, 226019, P. R. ChinaFollow
Yi Zhuang
Xiang Chen

Author Country (or Countries)

P. R. China

Abstract

Information declassification aims for trusted release of secret information to public environment. Existing security specifications and enforcement mechanisms of declassification policies have focused on sequential programs. This paper generalized the specification of gradually delimited release policy for sequential programs to the security condition suited for multi-threaded programs. This security condition restricts that the interleaving of low transition events may not depend on secret information, confines the content of information declassified in accord with the content allowed to be released, and controls the location of declassification only through the special release statement. Moreover, we proposed monitoring mechanisms of policy enforcement and proved its soundness.

Suggested Reviewers

N/A

Digital Object Identifier (DOI)

http://dx.doi.org/10.12785/amis/080449

Recommended Citation

Zhu, Hao; Zhuang, Yi; and Chen, Xiang (2014) "Information Declassification for Multi-Threaded Programs," Applied Mathematics & Information Sciences: Vol. 08: Iss. 4, Article 49.
DOI: http://dx.doi.org/10.12785/amis/080449
Available at: https://digitalcommons.aaru.edu.jo/amis/vol08/iss4/49