REWRITING-BASED SECURITY ENFORCEMENT OF CONCURRENT SYSTEMS - A Formal Approach
Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010
Abstract
Program security enforcement is designed to ensure that a program respects a given security policy, which generally specifies the acceptable executions of that. In general, the enforcement is achieved by adding some controls (tests) inside the target program or process. The major drawback of existing techniques is either their lack of precision or their inefficiency, especially those dedicated for concurrent languages. This paper proposes an efficient algebraic and fully automatic approach for security program enforcement: given a concurrent program P and a security policy f, it automatically generates another program P′ that satisfies f and behaves like P, except that it stops when P tries to violate the security policy f.
DownloadPaper Citation
in Harvard Style
Langar M., Mejri M. and Adi K. (2010). REWRITING-BASED SECURITY ENFORCEMENT OF CONCURRENT SYSTEMS - A Formal Approach . In Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010) ISBN 978-989-8425-18-8, pages 66-74. DOI: 10.5220/0002996100660074
in Bibtex Style
@conference{secrypt10,
author={Mahjoub Langar and Mohamed Mejri and Kamel Adi},
title={REWRITING-BASED SECURITY ENFORCEMENT OF CONCURRENT SYSTEMS - A Formal Approach},
booktitle={Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010)},
year={2010},
pages={66-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002996100660074},
isbn={978-989-8425-18-8},
}
in EndNote Style
TY - CONF
JO - Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010)
TI - REWRITING-BASED SECURITY ENFORCEMENT OF CONCURRENT SYSTEMS - A Formal Approach
SN - 978-989-8425-18-8
AU - Langar M.
AU - Mejri M.
AU - Adi K.
PY - 2010
SP - 66
EP - 74
DO - 10.5220/0002996100660074