The following pages link to Mohamed Me Jri (Q1853748):
Displayed 8 items.
- Item:Q1853748 (redirect page) (← links)
- Towards the correctness of security protocols (Q276469) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Formal enforcement of security policies on concurrent systems (Q2275899) (← links)
- (Q2767198) (← links)
- Formal Enforcement of Security Policies on Parallel Systems with Risk Integration (Q2947076) (← links)
- (Q5392411) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5712480) (← links)