Ousmane Koné

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 2

Top Topics

Security Requirements

Transition Model

Intrusion Detection

Protocol Specification

Top Venues

Mob. Inf. Syst.

J. Inf. Secur. Appl.

Publications

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