Ridha Khedri

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\)	2021-06-24	Paper
A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\) (available as arXiv preprint)	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 Lecture Notes in Computer Science	2020-08-03	Paper
Mitigating covert channels based on analysis of the potential for communication Theoretical Computer Science	2016-08-01	Paper
On the weaving process of aspect-oriented product family algebra Journal of Logical and Algebraic Methods in Programming	2015-12-18	Paper
Endowing concurrent Kleene algebra with communication actions Relational and Algebraic Methods in Computer Science	2014-04-16	Paper
A generic algebraic model for the analysis of cryptographic-key assignment schemes Foundations and Practice of Security	2013-08-07	Paper
Algebraic framework for the specification and analysis of cryptographic-key distribution Fundamenta Informaticae	2012-06-19	Paper
scientific article; zbMATH DE number 1735899 (Why is no real title available?)	2002-09-05	Paper
On a formal semantics of tabular expressions Science of Computer Programming	2001-01-01	Paper

Research outcomes over time

This page was built for person: Ridha Khedri