The following pages link to Ridha Khedri (Q169678):
Displaying 10 items.
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← links)
- The interchange format of tabular expressions using XML (Q2026556) (← links)
- (Q2892654) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
- (Q4329260) (← links)
- (Q4995367) (← links)
- A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes (Q5327307) (← links)
- Endowing Concurrent Kleene Algebra with Communication Actions (Q5410475) (← links)
- On a formal semantics of tabular expressions (Q5929014) (← links)
