The following pages link to Kamel Adi (Q456721):
Displayed 5 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Formal enforcement of security policies on concurrent systems (Q2275899) (← links)
- (Q2767198) (← links)
- Abstract Interpretation for Proving Secrecy Properties in Security Protocols (Q2841216) (← links)