Travelled to:1 × Canada
1 × Germany
Collaborated with:O.Aktouf I.Parissis F.Dadeau P.Héam
Talks about:test (2) protocol (1) diagnosi (1) generat (1) system (1) extend (1) secur (1) mutat (1) model (1) hlpsl (1)
Person: Rafik Kheddam
DBLP: Kheddam:Rafik
Contributed to:
20122011Wrote 2 papers:
- ICST-2012-KheddamAP
- An Extended LLRP Model for RFID System Test and Diagnosis (RK, OEKA, IP), pp. 529–538.
- ICST-2011-DadeauHK #generative #protocol #security #testing
- Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.