Filter your results
- 281
- 81
- 229
- 56
- 32
- 16
- 14
- 11
- 2
- 1
- 1
- 13
- 1
- 357
- 6
- 5
- 26
- 1
- 4
- 3
- 46
- 27
- 31
- 44
- 49
- 69
- 64
- 19
- 1
- 2
- 1
- 1
- 321
- 40
- 1
- 341
- 23
- 17
- 15
- 13
- 10
- 10
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 48
- 45
- 45
- 38
- 35
- 26
- 22
- 18
- 16
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 11
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
|
Experimental measurements of host identity protocol for mobile nodes' networksJournal of computer systems, networks, and communications, 2009, 2009 (Article ID 383517), pp.1 - 6. ⟨10.1155/2009/383517⟩
Journal articles
hal-00472911v1
|
||
|
LTE femtocell integration with wireless sensor/actuator networks and RFID technologiesUnderstanding LTE and its performance, Springer, pp.225-244, 2011, 978-1-4419-6456-4. ⟨10.1007/978-1-4419-6457-1⟩
Book sections
hal-00802295v1
|
||
DUMBO II: A V-2-I emergency networkAINTEC 2008 : 4th Asian Conference on Internet Engineering , Nov 2008, Bangkok, Thailand. pp.37 - 38, ⟨10.1145/1503370.1503380⟩
Conference papers
hal-01326461v1
|
|||
Specification of rating function of online charging system in 3GPP IP multimedia system (IMS) environmentNTMS 2008 : New Technologies, Mobility and Security, Nov 2008, Tangier, Morocco. pp.1 - 5, ⟨10.1109/NTMS.2008.ECP.91⟩
Conference papers
hal-01344726v1
|
|||
INQA : management project of QoS in an architecture IMSICMCS 2009 : International Conference on Multimedia Computing and Systems, Apr 2009, Ouarzazate, Morocco. pp.366 - 371, ⟨10.1109/MMCS.2009.5256670⟩
Conference papers
hal-01315074v1
|
|||
|
A reactive wireless mesh network architectureMed-Hoc-Net 2008 : Seventh Annual Mediterranean Ad Hoc Networking Workshop : Advances in Ad Hoc Networking, Jun 2008, Palma De Mallorca, Spain. pp.203 - 214, ⟨10.1007/978-0-387-09490-8_18⟩
Conference papers
hal-01373149v1
|
||
Monitoring based on IOSTS for testing functional and security properties: application to an automotive case studyCOMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩
Conference papers
hal-01275006v1
|
|||
|
A new resilient key management protocol for wireless sensor networksWISTP 2007: 1st IFIP TC6 / WG 8.8 / WG 11.2 International Workshop on Information Security Theory and Practices : Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. pp.14 - 26, ⟨10.1007/978-3-540-72354-7_2⟩
Conference papers
hal-01328143v1
|
||
|
SAPC : a Secure Aggregation Protocol for Cluster-based wireless sensor networksMSN 2007 : 3rd International Conference on Mobile Ad-hoc and Sensor Networks, Dec 2007, Beijing, China. pp.784 - 798, ⟨10.1007/978-3-540-77024-4_71⟩
Conference papers
hal-01328162v1
|
||
|
Une attaque par rejeu sur le protocole SENDSAR-SSI 2008 : 3e Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Oct 2008, Loctudy, France. pp.289 - 300
Conference papers
hal-01327423v1
|
||
|
A quality of experience based approach for wireless mesh networks9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova I La Geltrú, Spain. pp.162-173, ⟨10.1007/978-3-642-21560-5_14⟩
Conference papers
hal-01301638v1
|
||
On modeling and testing security properties of vehicular networksICSTW 2014 : 7th International Conference on Software Testing, Verification and Validation Workshops, Mar 2014, Cleveland, United States. pp.42 - 50, ⟨10.1109/ICSTW.2014.56⟩
Conference papers
hal-01285747v1
|
|||
Analyse de comportement de pare-feu par marquage de donnéesSARSSI 2008 : 3ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Oct 2008, Loctudy, France. pp.103 - 113
Conference papers
hal-01380243v1
|
|||
|
Using testing techniques for vulnerability detection in C programs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers
hal-01303013v1
|
||
Protocols for distributed AAA framework in mobile ad-hoc networksMWNS 2009 : 2nd International Workshop on Mobile and Wireless Networks Security in conjunction with IFIP Networking 2009, May 2009, Aachen, Germany. pp.75 - 86
Conference papers
hal-01316815v1
|
|||
Zone switching diversity for hierarchical resource allocation in mobile WiMAX networksMWS 2009 : IEEE Mobile Wimax Symposium , Jul 2009, Napa Valley, Ca, United States. pp.69 - 74, ⟨10.1109/MWS.2009.9⟩
Conference papers
hal-01367450v1
|
|||
A formal online mMonitoring approach to test network protocolsADVCOMP 2014 : 8th International Conference on Advanced Engineering Computing and Applications in Sciences , Aug 2014, Rome, Italy. pp.50 - 54
Conference papers
hal-01263343v1
|
|||
Mobile and wireless network security : proceedings of the 2nd International Workshop, MWNS 2009, Aachen, Germany, 15 may 2009Shaker Verlag, pp.86, 2009, 978-3-8322-8177-9
Books
hal-01370512v1
|
|||
BGP skeleton : an alternative to iBGP route reflectionINFOCOM 2010 : 29th Conference on Computer Communications, Mar 2010, San Diego, Ca, United States. pp.1 - 5, ⟨10.1109/INFCOM.2010.5462223⟩
Conference papers
hal-01309502v1
|
|||
|
Timed extended invariants for the passive testing of Web servicesICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.592 - 599, ⟨10.1109/ICWS.2010.17⟩
Conference papers
hal-01309503v1
|
||
On modeling and testing components of the European Train Control SystemIPCT 2014 : International Conference on Advances in Information Processing And Communication Technology, Jun 2014, Rome, Italy. pp.31 - 35, ⟨10.15224/978-1-63248-021-7-72⟩
Conference papers
hal-01262564v1
|
|||
Validation of a trust approach in multi-organization environmentsInternational journal of secure software engineering, 2014, 5 (1), pp.1 - 18. ⟨10.4018/ijsse.2014010101⟩
Journal articles
hal-01262565v1
|
|||
Role based interoperability security policies in collaborative systemsSECOTS '12 : International Symposium on Security in Collaboration Technologies and Systems, May 2012, Denver, United States. pp.471-477, ⟨10.1109/CTS.2012.6261092⟩
Conference papers
hal-00738970v1
|
|||
Improving protocol validation by an IOSTS-based passive testing approachSTV '12 : System Testing and Validation Workshop, Oct 2012, Paris, France. pp.87-95
Conference papers
hal-00738521v1
|
|||
Formal supervision of mobile ad hoc networks for security flaws detectionSecurity engineering techniques and solutions for information systems : management and implementation, IGI Global, 2011, 978-1-615-20803-6. ⟨10.4018/978-1-61520-803-6⟩
Book sections
hal-00690721v1
|
|||
Cooperative fingerprint-based indoor localization using self-organizing mapsIWCMC 2011 : 7th International Wireless Communications and Mobile Computing Conference, Jul 2011, Istanbul, Turkey. pp.1814 - 1819, ⟨10.1109/IWCMC.2011.5982810⟩
Conference papers
hal-01302453v1
|
|||
A proof-based approach to verifying reachability propertiesSAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1651 - 1657, ⟨10.1145/1982185.1982531⟩
Conference papers
hal-01303017v1
|
|||
Software reuse and plagiarism : a code of practiceSigcse Bulletin, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩
Journal articles
hal-01357442v1
|
|||
Detection of attacks in wireless mesh networksLADC 2011 : 5th Latin-American Symposium on Dependable Computing, Apr 2011, Sao Jose Dos Campos, Brazil. pp.45 - 54, ⟨10.1109/LADC.2011.13⟩
Conference papers
hal-01301634v1
|
|||
|
Authentication protocol runtime evaluation in distributed AAA framework for mobile ad-hoc networksIEEE International Conference on Wireless Communications, Networking and Information Security (WCNIS 2010), Jun 2010, Pékin, China. pp.277 - 281, ⟨10.1109/WCINS.2010.5541783⟩
Conference papers
hal-01356343v1
|