Ousmane Kon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1998–2013
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SIN | Using transition systems to model and verify the implementation of security protocol. | Yulong Fu, Ousmane Kon |
| 2013 | SIN | A finite transition model for security protocol verification. | Yulong Fu, Ousmane Kon |
| 2011 | ESORICS | Network Securing against Threatening Requests. | Yulong Fu, Ousmane Kon |
| 2011 | SIN | Formal analysis of usage control policies. | Boulares Ouchenne, Ousmane Kon |
| 2002 | MSWIM | Modelling location operations in UMTS networks. | Marcien MacKaya, Ousmane Kon, Richard Castanet |
| 2000 | LCN | Experiment with the Validation of WAP Systems. | Ousmane Kon |
| 1998 | ICCCN | On the Fly Test Generation for Real Time Protocols. | Richard Castanet, Ousmane Kon, Patrice Laurenot |