Ousmane Koné - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2017

An Automata Based Intrusion Detection Method for Internet of ThingsYulong Fu, Zheng Yan, Jin Cao, Ousmane Koné, Xuefei Cao. mis, 2017, 2017. [doi]

2015

Model based security verification of protocol implementationYulong Fu, Ousmane Koné. istr, 22:17-27, 2015. [doi]

2014

Security and Robustness by Protocol TestingYulong Fu, Ousmane Koné. sj, 8(3):699-707, 2014. [doi]

2013

Using transition systems to model and verify the implementation of security protocolYulong Fu, Ousmane Koné. sin 2013: 210-217 [doi]

A finite transition model for security protocol verificationYulong Fu, Ousmane Koné. sin 2013: 368-371 [doi]

Validation of security protocol implementations from security objectivesYulong Fu, Ousmane Koné. compsec, 36:27-39, 2013. [doi]

2011

A Robustness Testing Method for Network SecurityYulong Fu, Ousmane Koné. icgs3 2012: 38-45 [doi]

Network Securing against Threatening RequestsYulong Fu, Ousmane Koné. esorics 2012: 280-294 [doi]

Formal analysis of usage control policiesBoulares Ouchenne, Ousmane Koné. sin 2011: 231-234 [doi]

2010

A Security Control Architecture for SOAP-Based ServicesBoulares Ouchenne, Ousmane Koné. securware 2010: 261-265 [doi]

2006

Symbolic and on the Fly Testing with Real-Time ObserversRachid Bouaziz, Ousmane Koné. pts 2006: 306-323 [doi]

A middleware layer for experimenting service interoperationOusmane Koné. icns 2006: 56 [doi]

2003

An Inoteroperability Testing Approach to Wireless Applications ProtocolsOusmane Koné. jucs, 9(10):1220-1243, 2003. [doi]

2002

Compliance of Wireless Application ProtocolsOusmane Koné. pts 2002: 129-138

Conformance testing to real-time communications systemsOusmane Koné. comcom, 25(1):32-45, 2002. [doi]

Modelling location operations in UMTS networksMarcien MacKaya, Ousmane Koné, Richard Castanet. mswim 2002: 69-73 [doi]

2001

A Local Approach to the Testing of Real-time SystemsOusmane Koné. cj, 44(5):435-447, 2001. [doi]

2000

Design of Interoperability Checking Sequences Against WAPOusmane Koné, Jean-Pierre Thomesse. ifip6-8 2000: 101-110

Experiment with the Validation of WAP SystemsOusmane Koné. lcn 2000: 405 [doi]

Test generation for interworking systemsOusmane Koné, Richard Castanet. comcom, 23(7):642-652, 2000. [doi]

1998

On the Fly Test Generation for Real Time ProtocolsRichard Castanet, Ousmane Koné, Patrice Laurençot. icccn 1998: 378-387

1993

Deriving Coordinated Testers for InteroperabilityRichard Castanet, Ousmane Koné. pts 1994: 331-346

Sign in or sign up to see more results.

runs on WebDSL