Ridha Khedri

Available identifiers

Publication	Date of Publication	Type
A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\)	2021-06-24	Paper
The interchange format of tabular expressions using XML	2021-05-20	Paper
Defense in Depth Formulation and Usage in Dynamic Access Control	2020-08-03	Paper
Mitigating covert channels based on analysis of the potential for communication	2016-08-01	Paper
On the weaving process of aspect-oriented product family algebra	2015-12-18	Paper
Endowing concurrent Kleene algebra with communication actions	2014-04-16	Paper
A generic algebraic model for the analysis of cryptographic-key assignment schemes	2013-08-07	Paper
Algebraic framework for the specification and analysis of cryptographic-key distribution	2012-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4329260	2002-09-05	Paper
On a formal semantics of tabular expressions	2001-01-01	Paper

This page was built for person: Ridha Khedri