Ousmane Koné

According to our database, Ousmane Koné authored at least 22 papers between 1993 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An Automata Based Intrusion Detection Method for Internet of Things.

Yulong Fu, Zheng Yan, Jin Cao, Ousmane Koné, Xuefei Cao

Mob. Inf. Syst., 2017

2015

Model based security verification of protocol implementation.

Yulong Fu, Ousmane Koné

J. Inf. Secur. Appl., 2015

2014

Security and Robustness by Protocol Testing.

Yulong Fu, Ousmane Koné

IEEE Syst. J., 2014

2013

Validation of security protocol implementations from security objectives.

Yulong Fu, Ousmane Koné

Comput. Secur., 2013

A finite transition model for security protocol verification.

Yulong Fu, Ousmane Koné

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

Using transition systems to model and verify the implementation of security protocol.

Yulong Fu, Ousmane Koné

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2011

Formal analysis of usage control policies.

Boulares Ouchenne, Ousmane Koné

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

A Robustness Testing Method for Network Security.

Yulong Fu, Ousmane Koné

Proceedings of the Global Security, Safety and Sustainability & e-Democracy, 2011

Network Securing against Threatening Requests.

Yulong Fu, Ousmane Koné

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

2010

A Security Control Architecture for SOAP-Based Services.

Boulares Ouchenne, Ousmane Koné

Proceedings of the Fourth International Conference on Emerging Security Information Systems and Technologies, 2010

2006

Symbolic and on the Fly Testing with Real-Time Observers.

Rachid Bouaziz, Ousmane Koné

Proceedings of the Testing of Communicating Systems, 2006

A middleware layer for experimenting service interoperation.

Ousmane Koné

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

2003

An Inoteroperability Testing Approach to Wireless Applications Protocols.

Ousmane Koné

J. Univers. Comput. Sci., 2003

2002

Conformance testing to real-time communications systems.

Ousmane Koné

Comput. Commun., 2002

Compliance of Wireless Application Protocols.

Ousmane Koné

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Modelling location operations in UMTS networks.

Marcien MacKaya, Ousmane Koné, Richard Castanet

Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

2001

A Local Approach to the Testing of Real-time Systems.

Ousmane Koné

Comput. J., 2001

2000

Test generation for interworking systems.

Ousmane Koné, Richard Castanet

Comput. Commun., 2000

Experiment with the Validation of WAP Systems.

Ousmane Koné

Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000

Design of Interoperability Checking Sequences Against WAP.

Ousmane Koné, Jean-Pierre Thomesse

Proceedings of the Personal Wireless Communications, 2000

1998

On the Fly Test Generation for Real Time Protocols.

Richard Castanet, Ousmane Koné, Patrice Laurençot

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

1993

Deriving Coordinated Testers for Interoperability.

Richard Castanet, Ousmane Koné

Proceedings of the Protocol Test Systems, 1993