ask others

Ousmane Koné

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mis/FuYCKC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mis/FuYCKC17
Yulong Fu, Zheng Yan, Jin Cao, Ousmane Koné, Xuefei Cao:
An Automata Based Intrusion Detection Method for Internet of Things. Mobile Information Systems 2017: 1750637:1-1750637:13 (2017)
2015
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/istr/FuK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/istr/FuK15
Yulong Fu, Ousmane Koné:
Model based security verification of protocol implementation. J. Inf. Sec. Appl. 22: 17-27 (2015)
2014
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sj/FuK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sj/FuK14
Yulong Fu, Ousmane Koné:
Security and Robustness by Protocol Testing. IEEE Systems Journal 8(3): 699-707 (2014)
2013
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/compsec/FuK13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/compsec/FuK13
Yulong Fu, Ousmane Koné:
Validation of security protocol implementations from security objectives. Computers & Security 36: 27-39 (2013)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sin/FuK13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sin/FuK13
Yulong Fu, Ousmane Koné:
Using transition systems to model and verify the implementation of security protocol. SIN 2013: 210-217
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sin/FuK13a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sin/FuK13a
Yulong Fu, Ousmane Koné:
A finite transition model for security protocol verification. SIN 2013: 368-371
2011
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esorics/FuK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esorics/FuK11
Yulong Fu, Ousmane Koné:
Network Securing against Threatening Requests. DPM/SETOP 2011: 280-294
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ eudl.eu
- export record
  dblp key:
  - conf/icgs3/FuK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icgs3/FuK11
Yulong Fu, Ousmane Koné:
A Robustness Testing Method for Network Security. ICGS3/e-Democracy 2011: 38-45
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sin/OuchenneK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sin/OuchenneK11
Boulares Ouchenne, Ousmane Koné:
Formal analysis of usage control policies. SIN 2011: 231-234
2010
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/securware/OuchenneK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/securware/OuchenneK10
Boulares Ouchenne, Ousmane Koné:
A Security Control Architecture for SOAP-Based Services. SECURWARE 2010: 261-265

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icns/Kone06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icns/Kone06
Ousmane Koné:
A middleware layer for experimenting service interoperation. ICNS 2006: 56
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pts/BouazizK06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pts/BouazizK06
Rachid Bouaziz, Ousmane Koné:
Symbolic and on the Fly Testing with Real-Time Observers. TestCom 2006: 306-323
2003
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/Kone03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jucs/Kone03
Ousmane Koné:
An Inoteroperability Testing Approach to Wireless Applications Protocols. J. UCS 9(10): 1220-1243 (2003)
2002
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/comcom/Kone02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/comcom/Kone02
Ousmane Koné:
Conformance testing to real-time communications systems. Computer Communications 25(1): 32-45 (2002)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mswim/MackayaKC02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mswim/MackayaKC02
Marcien MacKaya, Ousmane Koné, Richard Castanet:
Modelling location operations in UMTS networks. MSWiM 2002: 69-73
[c5]
- no documents available
- export record
  dblp key:
  - conf/pts/Kone02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pts/Kone02
Ousmane Koné:
Compliance of Wireless Application Protocols. TestCom 2002: 129-138
2001
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cj/Kone01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cj/Kone01
Ousmane Koné:
A Local Approach to the Testing of Real-time Systems. Comput. J. 44(5): 435-447 (2001)
2000
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/comcom/KoneC00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/comcom/KoneC00
Ousmane Koné, Richard Castanet:
Test generation for interworking systems. Computer Communications 23(7): 642-652 (2000)
[c4]
- no documents available
- export record
  dblp key:
  - conf/ifip6-8/KoneT00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip6-8/KoneT00
Ousmane Koné, Jean-Pierre Thomesse:
Design of Interoperability Checking Sequences Against WAP. PWC 2000: 101-110
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lcn/Kone00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lcn/Kone00
Ousmane Koné:
Experiment with the Validation of WAP Systems. LCN 2000: 405-406

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icccn/CastanetKL98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icccn/CastanetKL98
Richard Castanet, Ousmane Koné, Patrice Laurençot:
On the Fly Test Generation for Real Time Protocols. ICCCN 1998: 378-387
1993
[c1]
- no documents available
- export record
  dblp key:
  - conf/pts/CastanetK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pts/CastanetK93
Richard Castanet, Ousmane Koné:
Deriving Coordinated Testers for Interoperability. Protocol Test Systems 1993: 331-346

Coauthor Index

see FAQ

maintained by

, founded at