| 2007 |
|---|
| 6 | | Mahjoub Langar,
Mohamed Mejri,
Kamel Adi:
A Formal Approach for Security Policy Enforcement in Concurrent Programs.
Security and Management 2007: 165-171 |
| 2005 |
|---|
| 5 | EE | Kamel Adi,
L. Pene:
Secrecy Correctness for Security Protocols.
DFMA 2005: 22-29 |
| 2003 |
|---|
| 4 | | Kamel Adi,
Mourad Debbabi,
Mohamed Mejri:
A new logic for electronic commerce protocols.
Theor. Comput. Sci. 291(3): 223-283 (2003) |
| 2001 |
|---|
| 3 | EE | Kamel Adi,
Mourad Debbabi:
Abstract interpretation for proving secrecy properties in security protocols.
Electr. Notes Theor. Comput. Sci. 55(1): (2001) |
| 2000 |
|---|
| 2 | EE | Kamel Adi,
Mourad Debbabi,
Mohamed Mejri:
A New Logic for Electronic Commerce Protocols.
AMAST 2000: 499-513 |
| 1996 |
|---|
| 1 | | Didier Bert,
Rachid Echahed,
Kamel Adi:
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.
AMAST 1996: 629-632 |
