 | 2009 |
|---|
| 7 |       | Slim Rekhis,
Noureddine Boudriga:
A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks.
SADFE 2009: 62-72 |
| 2008 |
|---|
| 6 | | Slim Rekhis,
Jihène Krichène,
Noureddine Boudriga:
Cognitive-Maps Based Investigation of Digital Security Incidents.
SADFE 2008: 25-40 |
| 5 | | Slim Rekhis,
Jihène Krichène,
Noureddine Boudriga:
DigForNet: Digital Forensic in Networking.
SEC 2008: 637-651 |
| 4 | | Yacine Djemaiel,
Slim Rekhis,
Noureddine Boudriga:
Intrusion detection and tolerance: A global scheme.
Int. J. Communication Systems 21(2): 211-230 (2008) |
| 2006 |
|---|
| 3 | | Slim Rekhis,
Noureddine Boudriga:
Execution-based Digital Investigation on Compromised Systems with Automated Hypotheses Generation.
GLOBECOM 2006 |
| 2005 |
|---|
| 2 | | Slim Rekhis,
Noureddine Boudriga:
A Temporal Logic-Based Model for Forensic Investigation in Networked System Security.
MMM-ACNS 2005: 325-338 |
| 1 | | Slim Rekhis,
Noureddine Boudriga:
A formal logic-based language and an automated verification tool for computer forensic investigation.
SAC 2005: 287-291 |
