Ousmane Koné

22 papers A 1B 2C 3Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2017 J jnl
An Automata Based Intrusion Detection Method for Internet of Things.
Mob. Inf. Syst.
Yulong Fu, Zheng Yan, Jin Cao, Ousmane Koné, Xuefei Cao
2015 J jnl
Model based security verification of protocol implementation.
J. Inf. Secur. Appl.
Yulong Fu, Ousmane Koné
2014 J jnl
Security and Robustness by Protocol Testing.
IEEE Syst. J.
Yulong Fu, Ousmane Koné
2013 C conf
A finite transition model for security protocol verification.
SIN
Yulong Fu, Ousmane Koné
2013 C conf
Using transition systems to model and verify the implementation of security protocol.
SIN
Yulong Fu, Ousmane Koné
2013 J jnl
Validation of security protocol implementations from security objectives.
Comput. Secur.
Yulong Fu, Ousmane Koné
2011 — conf
A Robustness Testing Method for Network Security.
ICGS3/e-Democracy
Yulong Fu, Ousmane Koné
2011 C conf
Formal analysis of usage control policies.
SIN
Boulares Ouchenne, Ousmane Koné
2011 — conf
Network Securing against Threatening Requests.
DPM/SETOP
Yulong Fu, Ousmane Koné
2010 — conf
A Security Control Architecture for SOAP-Based Services.
SECURWARE
Boulares Ouchenne, Ousmane Koné
2006 — conf
A middleware layer for experimenting service interoperation.
ICNS
Ousmane Koné
2006 — conf
Symbolic and on the Fly Testing with Real-Time Observers.
TestCom
Rachid Bouaziz, Ousmane Koné
2003 J jnl
An Inoteroperability Testing Approach to Wireless Applications Protocols.
J. Univers. Comput. Sci.
Ousmane Koné
2002 — conf
Compliance of Wireless Application Protocols.
TestCom
Ousmane Koné
2002 J jnl
Conformance testing to real-time communications systems.
Comput. Commun.
Ousmane Koné
2002 A conf
Modelling location operations in UMTS networks.
MSWiM
Marcien MacKaya, Ousmane Koné, Richard Castanet
2001 J jnl
A Local Approach to the Testing of Real-time Systems.
Comput. J.
Ousmane Koné
2000 — conf
Design of Interoperability Checking Sequences Against WAP.
PWC
Ousmane Koné, Jean-Pierre Thomesse
2000 B conf
Experiment with the Validation of WAP Systems.
LCN
Ousmane Koné
2000 J jnl
Test generation for interworking systems.
Comput. Commun.
Ousmane Koné, Richard Castanet
1998 B conf
On the Fly Test Generation for Real Time Protocols.
ICCCN
Richard Castanet, Ousmane Koné, Patrice Laurençot
1993 — conf
Deriving Coordinated Testers for Interoperability.
Protocol Test Systems
Richard Castanet, Ousmane Koné