Voir la notice de l'article dans Numdam
Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125-156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given by Volpano et al. [D. Volpano, G. Smith and C. Irvine, J. Comput. Secur. 4 (1996) 167-187] on type systems as an example of our approach. We define a comparable notion of noninterference in the setting of thread algebra. Our approach gives a similar result to the approach of [G. Smith and D. Volpano, in POPL'98 29 (1998) 355-364] and can be applied to unstructured and multithreaded programming languages.
Mots-clés : noninterference, thread algebra, formal methods, security verification
@article{ITA_2009__43_2_249_0,
author = {Vu, Thuy Duong},
title = {Thread algebra for noninterference},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {249--268},
publisher = {EDP-Sciences},
volume = {43},
number = {2},
year = {2009},
doi = {10.1051/ita:2008026},
zbl = {1166.68007},
mrnumber = {2512258},
language = {en},
url = {https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2008026/}
}
TY - JOUR AU - Vu, Thuy Duong TI - Thread algebra for noninterference JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2009 SP - 249 EP - 268 VL - 43 IS - 2 PB - EDP-Sciences UR - https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2008026/ DO - 10.1051/ita:2008026 LA - en ID - ITA_2009__43_2_249_0 ER -
%0 Journal Article %A Vu, Thuy Duong %T Thread algebra for noninterference %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2009 %P 249-268 %V 43 %N 2 %I EDP-Sciences %U https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2008026/ %R 10.1051/ita:2008026 %G en %F ITA_2009__43_2_249_0
Vu, Thuy Duong. Thread algebra for noninterference. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009) no. 2, pp. 249-268. doi : 10.1051/ita:2008026. https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2008026/
Cité par Sources :