Search - Archive ouverte HAL Access content directly

Filter your results

362 Results
Structure: Internal structure identifier : 95570
Image document

Experimental measurements of host identity protocol for mobile nodes' networks

Maher Ben Jemaa , Nahla Abid , Maryline Laurent , Hakima Chaouchi
Journal 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 technologies

Tara Ali Yahiya , Apostolia Papapostolou , Hakima Chaouchi
Understanding 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 network

Kanchana Kanchanasut , Thirapon Wongsaardsakul , Manutsiri Chansutthirangkool , Anis Laouiti , Hajime Tazaki , et al.
AINTEC 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) environment

Hanane Oumina , Daniel Ranc
NTMS 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 IMS

Brahim Raouyane , Mostafa Bellafkih , Daniel Ranc , Mohammed Ramdani
ICMCS 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 architecture

Bachar Wehbi , Anis Laouiti , Ana Rosa Cavalli
Med-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 study

Pramila Mouttappa , Stephane Maag , Ana Rosa Cavalli
COMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩
Conference papers hal-01275006v1
Image document

A new resilient key management protocol for wireless sensor networks

Chakib Bekara , Maryline Laurent
WISTP 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
Image document

SAPC : a Secure Aggregation Protocol for Cluster-based wireless sensor networks

Chakib Bekara , Maryline Laurent , Kheira Bekara
MSN 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
Image document

Une attaque par rejeu sur le protocole SEND

Tony Cheneau , Jean-Michel Combes
SAR-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
Image document

A quality of experience based approach for wireless mesh networks

Anderson Morais , Ana Rosa Cavalli
9th 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 networks

Mohamed Aouadi , Khalifa Toumi , Ana Rosa Cavalli
ICSTW 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ées

Olivier Paul
SARSSI 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
Image document

Using testing techniques for vulnerability detection in C programs

Amel Mammar , Ana Rosa Cavalli , Willy Ronald Jimenez Freitez , Wissam Mallouli , Edgardo Montes de Oca
23th 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 networks

Sondes Larafa , Maryline Laurent
MWNS 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 networks

Tara Ali Yahiya , Hakima Chaouchi
MWS 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 protocols

Xiaoping Che , Stephane Maag , Jorge Eleazar Lopez Coronado
ADVCOMP 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 2009

Hakima Chaouchi , Georg Carle , Maryline Laurent
Shaker Verlag, pp.86, 2009, 978-3-8322-8177-9
Books hal-01370512v1

BGP skeleton : an alternative to iBGP route reflection

Bakr Sarakbi , Stephane Maag
INFOCOM 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 services

Gerardo Morales , Stephane Maag , Ana Rosa Cavalli , Wissam Mallouli , Edgardo Montes de Oca , et al.
ICWS 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 System

Cesar Andres Sanchez , Ana Rosa Cavalli , Nina Yevtushenko , João Santos , Rui Abreu
IPCT 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 environments

Khalifa Toumi , Ana Rosa Cavalli , Cesar Andres Sanchez
International 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 systems

Khalifa Toumi , Ana Rosa Cavalli , Mazen El Maarabani
SECOTS '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 approach

Pramila Mouttappa , Stephane Maag , Ana Rosa Cavalli
STV '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 detection

Wissam Mallouli , Bachar Wehbi , Ana Rosa Cavalli , Stephane Maag
Security 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 maps

Apostolia Papapostolou , Wendong Xiao , Hakima Chaouchi
IWCMC 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 properties

Amel Mammar , Marc Frappier , Fama Diagne
SAC 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 practice

John Paul Gibson
Sigcse Bulletin, 2009, 41 (3), pp.55 - 59. ⟨10.1145/1595496.1562900⟩
Journal articles hal-01357442v1

Detection of attacks in wireless mesh networks

Anderson Morais , Ana Rosa Cavalli
LADC 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
Image document

Authentication protocol runtime evaluation in distributed AAA framework for mobile ad-hoc networks

Sondes Larafa , Maryline Laurent
IEEE 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