Automating information flow control in component-based distributed systems

T Abdellatif, L Sfaxi, R Robbana… - Proceedings of the 14th …, 2011 - dl.acm.org
Automating the construction of secure distributed systems becomes necessary. Indeed,
develo** security code requires a deep expertise and verifying that the developed code …

[PDF][PDF] 在线-离线数据流上复杂事件检测

彭商濂, **战怀, 陈群, **** - 2012 - cjc.ict.ac.cn
摘要随着数据采集和处理技术的发展, 在物联网对象跟踪, 网络监控, 金融预测,
电信消费模式等领域中进行事件检测显得越发重要. 事件检测在一次扫描数据流的假设下完成 …

Applying RoBuSt Method for Robustness Testing of the Non-interference Property

M Naceur, L Sfaxi - Computer and Information Science 2015, 2016 - Springer
When setting up a secure system, rigorous testing is important to implement and sustain a
system that will induce customer confidence. In order to improve the testing process of …

[PDF][PDF] Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information.

L Sfaxi, T Abdellatif, Y Lakhnech… - Tech. Sci …, 2012 - researchgate.net
La construction de systèmes distribués sécurisés est une tâche complexe et très coûteuse.
Elle fait appel à des compétences dans des domaines variés: algorithmique distribuée …