Ana Rosa Cavalli
187
Documents
Publications
|
Towards Smarter Security Orchestration and Automatic Response for CPS and IoTIEEE CloudCom 2023 - 14th IEEE International Conference on Cloud Computing Technology and Science, IEEE, Dec 2023, Naples (Napoli), Italy. pp.298-302, ⟨10.1109/CloudCom59040.2023.00055⟩
Communication dans un congrès
hal-04526166v1
|
The DYNABIC approach to resilience of critical infrastructuresThe 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-8, ⟨10.1145/3600160.3605055⟩
Communication dans un congrès
hal-04476904v1
|
|
Cybersecurity, monitoring, explainability and resilience2023 Fourteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU), Nov 2023, Kyoto, France. pp.1-7, ⟨10.23919/ICMU58504.2023.10412157⟩
Communication dans un congrès
hal-04476909v1
|
|
Study on adversarial attacks techniques, learning methods and countermeasures: application to anomaly detection18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, France. pp.510-517, ⟨10.5220/0012125100003538⟩
Communication dans un congrès
hal-04476913v1
|
|
HTTP/2 attacks generation using 5GreplayThe 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-7, ⟨10.1145/3600160.3605062⟩
Communication dans un congrès
hal-04476907v1
|
|
Monitoring approaches for security and safety analysis: application to a load position systemInternational Conference on Software Testing, Verification and Validation Workshops (ICSTW), Universitat Politècnica de València and Open Universiteit, Apr 2022, Valencia (Espagne), mars 2007, Spain. ⟨10.1109/ICSTW55395.2022.00021⟩
Communication dans un congrès
hal-04477933v1
|
|
SANCUS: multi-layers vulnerability management framework for cloud-native 5G networksThe 16th International Conference on Availability, Reliability and Security (ARES), Aug 2022, Vienna, Austria. pp.1-10
Communication dans un congrès
hal-04478439v1
|
|
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.40-48, ⟨10.1109/ICSTW55395.2022.00021⟩
Communication dans un congrès
hal-03974746v1
|
|
A formal approach for complex attacks generation based on mutation of 5G network traffic17th International Conference on Software Technologies (ICSOFT), Institute of Business Informatics Wroclaw; Department of Computing Sydney, Macquarie Univ., Sydney, Australia, Jul 2022, Lisbon (Portugal), Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩
Communication dans un congrès
hal-04477834v1
|
|
|
Switched-based control testbed to assure cyber-physical resilience by designSECRYPT 2022 : 19th International Conference on Security and Cryptography, Jul 2022, Lisbon, Portugal. pp.681-686, ⟨10.5220/0011327300003283⟩
Communication dans un congrès
hal-03843016v1
|
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic17th International Conference on Software Technologies, Jul 2022, Lisbon, Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩
Communication dans un congrès
hal-03974768v1
|
|
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mälardalen University, Apr 2022, Valencia (Espagne), Spain. ⟨10.1109/ICSTW55395.2022.00016⟩
Communication dans un congrès
hal-04477901v1
|
|
|
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper)2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.7-10, ⟨10.1109/ICSTW55395.2022.00016⟩
Communication dans un congrès
hal-04016695v1
|
A framework for security monitoring of real IoT testbeds16th International Conference on Software Technologies (ICSOFT), Lisbonne University, Jul 2022, Lisbonne, Portugal. pp.645-652, ⟨10.5220/0010578506450652⟩
Communication dans un congrès
hal-04478481v1
|
|
|
Digital twin for IoT environments : a testing and simulation tool15th International Conference on the Quality of Information and Communications Technology(QUATIC) ·, University of Castilla-La Mancha, Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩
Communication dans un congrès
hal-04039592v1
|
|
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack InjectionARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna Austria, France. pp.1-8, ⟨10.1145/3465481.3470079⟩
Communication dans un congrès
hal-04050929v1
|
|
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack InjectionARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-8, ⟨10.1145/3465481.3470079⟩
Communication dans un congrès
hal-04064212v1
|
Metrics-driven DevSecOpsICSOFT, Jul 2020, On line streaming, Australia
Communication dans un congrès
hal-03113928v1
|
|
Cyber-resilience evaluation of Cyber-Physical SystemsInternational Symposium on Network Computing and Applications, Nov 2020, Cambridge, MA (online), United States. pp.1-8, ⟨10.1109/NCA51143.2020.9306741⟩
Communication dans un congrès
hal-03115317v1
|
|
A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOOICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩
Communication dans un congrès
hal-02268593v1
|
|
|
Industrial IoT security monitoring and test on Fed4Fire+ platformsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩
Communication dans un congrès
hal-02526342v1
|
Reflective attenuation of cyber-physical attacksCyberICPS 2019 : 5th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, Sep 2019, Luxembourg, Luxembourg. pp.19-34, ⟨10.1007/978-3-030-42048-2_2⟩
Communication dans un congrès
hal-02434486v1
|
|
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Communication dans un congrès
hal-02526356v1
|
Smart measurements and analysis for software quality enhancementICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩
Communication dans un congrès
hal-02268574v1
|
|
Design of a secure shield for internet and web-based services using software reflectionIEEE International Conference on Web Services (ICWS), Jun 2018, Seattle, United States. pp.472 - 486, ⟨10.1007/978-3-319-94289-6_30⟩
Communication dans un congrès
hal-02017535v1
|
|
A study on mitigation techniques for SCADA-driven cyber-physical systemsFPS 2018: 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada. pp.257 - 264, ⟨10.1007/978-3-030-18419-3_17⟩
Communication dans un congrès
hal-02014254v1
|
|
Enhancing software development process quality based on metrics correlation and suggestionThe 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩
Communication dans un congrès
hal-01977133v1
|
|
Model-based attack toleranceFINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩
Communication dans un congrès
hal-01583439v1
|
|
Decreasing the complexity of deriving test suites against nondeterministic Finite State MachinesEWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1 - 4, ⟨10.1109/EWDTS.2017.8110091⟩
Communication dans un congrès
hal-01669274v1
|
|
A platform for security monitoring of multi-cloud applicationsPSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59 - 71, ⟨10.1007/978-3-319-74313-4_5⟩
Communication dans un congrès
hal-01695148v1
|
|
A study of threat detection systems and techniques in the cloudCRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140 - 155, ⟨10.1007/978-3-319-76687-4_10⟩
Communication dans un congrès
hal-01745762v1
|
|
An attack-tolerant framework for web servicesSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩
Communication dans un congrès
hal-01695155v1
|
|
Multi-cloud applications security monitoringGPC 2017 : 12th International Conference on Green, Pervasive, and Cloud Computing, May 2017, Cetara, Italy. pp.748 - 758, ⟨10.1007/978-3-319-57186-7_54⟩
Communication dans un congrès
hal-01583350v1
|
|
Automatic derivation and validation of a cloud dataset for insider threat detectionICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.480 - 487, ⟨10.5220/0006480904800487⟩
Communication dans un congrès
hal-01583232v1
|
|
How web services can be tolerant to intruders through diversificationICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩
Communication dans un congrès
hal-01592719v1
|
|
Opportunistic media sharing for mobile networksNOMS 2016 : IEEE/IFIP Network Operations and Management Symposium, Apr 2016, Istanbul, Turkey. pp.799 - 803, ⟨10.1109/NOMS.2016.7502902⟩
Communication dans un congrès
hal-01348024v1
|
|
Path sampling : a robust alternative to gossiping for opportunistic network routingWIMOB 2016 : 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2016, New York, United States. pp.1 - 8, ⟨10.1109/WiMOB.2016.7763244⟩
Communication dans un congrès
hal-01433849v1
|
|
Optimizing network utilization through source code state model representationEWDTS 2016 : 14th East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807732⟩
Communication dans un congrès
hal-01433929v1
|
|
An implementation of a QoE evaluation technique including business model parametersICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends, Aug 2016, Lisbon, Portugal. pp.138 - 145, ⟨10.5220/0006005001380145⟩
Communication dans un congrès
hal-01369532v1
|
|
A novel monitoring solution for 6LoWPAN-based Wireless Sensor NetworksAPCC 2016 : 22nd Asia-Pacific Conference on Communications, Aug 2016, Yogyakarta, Indonesia. pp.230 - 237, ⟨10.1109/APCC.2016.7581493⟩
Communication dans un congrès
hal-01391251v1
|
|
Monitoring techniques in practice: experiences and lessons learnedSAM 2016: 9th System Analysis and Modelling Conference , Oct 2016, Saint Malo, France
Communication dans un congrès
hal-01586259v1
|
|
Effectively testing of timed composite systems using test case prioritizationSEKE 2016 : 28th International Conference on Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. pp.1 - 6, ⟨10.18293/SEKE2016-153⟩
Communication dans un congrès
hal-01358350v1
|
|
An analysis of secure M2M communication in WSNs using DTLSSTAM 2016 : 2nd IEEE International Workshop on Security Testing and Monitoring, Jun 2016, Nara, Japan. pp.78 - 83, ⟨10.1109/ICDCSW.2016.13⟩
Communication dans un congrès
hal-01416148v1
|
|
A misbehavior node detection algorithm for 6LoWPAN Wireless Sensor NetworksSTAM 2016: 2nd IEEE International Workshop on Security Testing And Monitoring, Jun 2016, Nara, Japan. pp.49 - 54, ⟨10.1109/ICDCSW.2016.11⟩
Communication dans un congrès
hal-01415351v1
|
|
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), Jun 2016, Nara, France. ⟨10.1109/ICDCSW.2016.27⟩
Communication dans un congrès
hal-01767065v1
|
|
Network monitoring using MMT: an application based on the user-agent field in HTTP headersAINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.147 - 154, ⟨10.1109/AINA.2016.41⟩
Communication dans un congrès
hal-01335530v1
|
|
Optimizing protocol passive testing through 'Gedanken' experiments with Finite State MachinesQRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩
Communication dans un congrès
hal-01432412v1
|
|
A framework to reduce the cost of monitoring and diagnosis using game theoryCRISIS 2016 : 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France. pp.169 - 182, ⟨10.1007/978-3-319-54876-0_14⟩
Communication dans un congrès
hal-01487740v1
|
|
QoE-driven service optimization aware of the business modelWAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops , Mar 2016, Crans-Montana, Switzerland. pp.725 - 730, ⟨10.1109/WAINA.2016.105⟩
Communication dans un congrès
hal-01335539v1
|
|
Process mining for trust monitoringWAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops , Mar 2015, Gwangiu, South Korea. pp.605 - 610, ⟨10.1109/WAINA.2015.71⟩
Communication dans un congrès
hal-01255094v1
|
|
QoE evaluation based on QoS and QoBiz parameters applied to an OTT serviceICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.607 - 614, ⟨10.1109/ICWS.2015.86⟩
Communication dans un congrès
hal-01269646v1
|
|
An active testing tool for security testing of distributed systemsARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.735 - 740, ⟨10.1109/ARES.2015.97⟩
Communication dans un congrès
hal-01263726v1
|
|
Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocolLANOMS 2015 : 8th Latin American Network Operations and Management Symposium, Oct 2015, Joao Pessoa, Brazil. pp.69 - 72, ⟨10.1109/LANOMS.2015.7332672⟩
Communication dans un congrès
hal-01263742v1
|
|
An abstraction for the interoperability analysis of security policiesNSS 2015 : 9th International Conference on Network and System Security , Nov 2015, New York, United States. pp.418 - 427, ⟨10.1007/978-3-319-25645-0_30⟩
Communication dans un congrès
hal-01263746v1
|
|
A comparative evaluation of two intrusion-tolerant routing protocols for Wireless Sensor NetworksBWCCA 2015: 10th International Conference on Broadband and Wireless Computing, Communication and Applications, Nov 2015, Krakow, Poland. pp.6 - 12, ⟨10.1109/BWCCA.2015.104⟩
Communication dans un congrès
hal-01341539v1
|
|
Performance evaluation of video transmission over 802.11n wireless network : a MAC layer perspectiveSaCoNeT 2014 : 5th International Conference on Smart Communications in Network Technologies, Jun 2014, Vilanova I La Geltrú, Spain. pp.1 - 6, ⟨10.1109/SaCoNeT.2014.6867761⟩
Communication dans un congrès
hal-01262788v1
|
|
|
Détection de flux de contrôle illégaux dans les SmartphonesINFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France
Communication dans un congrès
hal-01009849v1
|
QoE estimation for web service selection using a Fuzzy-Rough hybrid expert systemAINA 2014 : 28th IEEE International Conference on Advanced Information Networking and Applications, May 2014, Victoria, Bc, Canada. pp.629 - 634, ⟨10.1109/AINA.2014.77⟩
Communication dans un congrès
hal-01262475v1
|
|
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⟩
Communication dans un congrès
hal-01262564v1
|
|
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⟩
Communication dans un congrès
hal-01285747v1
|
|
How to evaluate trust using MMTNSS 2014 : 8th International Conference on Network and System Security, Oct 2014, Xi'An, China. pp.484 - 492, ⟨10.1007/978-3-319-11698-3_37⟩
Communication dans un congrès
hal-01262784v1
|
|
Formal verification of coordination systems' requirements : a case study on the European Train Control SystemSEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.393 - 396
Communication dans un congrès
hal-01262566v1
|
|
Extended Finite State Machine based test derivation strategies for telecommunication protocolsSYRCoSE 2014 : 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2014, Saint-Pétersbourg, Russia. pp.108 - 113, ⟨10.15514/SYRCOSE-2014-8-15⟩
Communication dans un congrès
hal-01262562v1
|
|
|
Detection of illegal control flow in Android System: Protecting private data used by Smartphone AppsFPS 2014 : the 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montréal, Canada. pp.337 - 346, ⟨10.1007/978-3-319-17040-4_22⟩
Communication dans un congrès
hal-01214033v1
|
Testing network protocols : formally, at runtime and onlineSEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.90 - 93
Communication dans un congrès
hal-01263332v1
|
|
On testing against partial non-observable specificationsQUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sep 2014, Guimaraes, Portugal. pp.230 - 233, ⟨10.1109/QUATIC.2014.38⟩
Communication dans un congrès
hal-01262783v1
|
|
|
Protection against Code Obfuscation Attacks based on control dependencies in Android SystemsTC 2014 : 8th International Workshop on Trustworthy Computing, Jun 2014, San Francisco, United States
Communication dans un congrès
hal-01010902v1
|
Evaluating web service QoE by learning logic networksWEBIST 2014 : 10th International Conference on Web Information Systems and Technologies, Apr 2014, Barcelone, Spain. pp.168 - 176, ⟨10.5220/0004855801680176⟩
Communication dans un congrès
hal-01262476v1
|
|
A Framework for Distributed Testing of Timed Composite Systems2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, France. ⟨10.1109/APSEC.2014.16⟩
Communication dans un congrès
hal-01760336v1
|
|
Estimation of video QoE from MAC parameters in wireless network : a Random Neural Network approachISCIT 2014 : 14th International Symposium on Communications and Information Technologies, Sep 2014, Incheon, South Korea. pp.51 - 55, ⟨10.1109/ISCIT.2014.7011868⟩
Communication dans un congrès
hal-01262789v1
|
|
Ecosystem for customer experience assuranceSACONET 2013 : International Conference on Smart Communications in Network Technologies, Jun 2013, Paris, France. pp.1 - 5, ⟨10.1109/SaCoNeT.2013.6654553⟩
Communication dans un congrès
hal-01262114v1
|
|
|
Formal Characterization of Illegal Control Flow in Android SystemSITIS 2013 : 9th International Conference on Signal Image Technology & Internet Systems, Dec 2013, Kyoto, Japan
Communication dans un congrès
hal-00924480v1
|
Evaluating quality of web services: a short surveyICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.587 - 594, ⟨10.1109/ICWS.2013.83⟩
Communication dans un congrès
hal-01274984v1
|
|
An effective attack detection approach in wireless mesh networksNetMM '13 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1450 -1455, ⟨10.1109/WAINA.2013.1⟩
Communication dans un congrès
hal-00842731v1
|
|
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⟩
Communication dans un congrès
hal-01275006v1
|
|
Estimation of QoE of video traffic using a fuzzy expert systemCCNC '13 : The 10th Annual IEEE Consumer Communications and Networking Conference, Jan 2013, Las Vegas, United States. pp.224-229, ⟨10.1109/CCNC.2013.6488450⟩
Communication dans un congrès
hal-00816061v1
|
|
Evaluating Web service quality using finite state modelsQSIC 2013 : 13th International Conference on Quality Software, Jul 2013, Nanjing, China. pp.95 - 102, ⟨10.1109/QSIC.2013.52⟩
Communication dans un congrès
hal-01262103v1
|
|
An IOSTS based passive testing approach for the validation of data-centric protocolsQSIC '12 : 12th International Conference of Quality Software, Aug 2012, Xi'An, China. pp.49-58, ⟨10.1109/QSIC.2012.33⟩
Communication dans un congrès
hal-00747198v1
|
|
Quality of experience as a selection criterion for web servicesSITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems, Nov 2012, Sorrento, Italy. pp.519-526, ⟨10.1109/SITIS.2012.81⟩
Communication dans un congrès
hal-00772763v1
|
|
A distributed intrusion detection scheme for wireless ad hoc networksSAC '12 : The 27th Annual ACM Symposium on Applied Computing, Mar 2012, Trento, Italy. pp.556-562, ⟨10.1145/2245276.2245382⟩
Communication dans un congrès
hal-00738916v1
|
|
Modeling and testing secure web-based systems : application to an industrial case studySITIS '08 : The Fourth International Conference on Signal-Image Technology & Internet-Based Systems, Nov 2012, Bali, Indonesia. pp.128-136, ⟨10.1109/SITIS.2008.58⟩
Communication dans un congrès
hal-00796034v1
|
|
Trust-OrBAC : a trust access control model in multi-organization environmentsICISS '12 : 8th International Conference on Information Systems Security, Dec 2012, Guwahati, India. pp.89-103, ⟨10.1007/978-3-642-35130-3_7⟩
Communication dans un congrès
hal-00767797v1
|
|
Improving protocol validation by an IOSTS-based passive testing approachSTV '12 : System Testing and Validation Workshop, Oct 2012, Paris, France. pp.87-95
Communication dans un congrès
hal-00738521v1
|
|
How to reduce the cost of passive testingHASE '12 : 14th IEEE International High-Assurance Systems Engineering symposium, Oct 2012, Omaha, United States. pp.209-216, ⟨10.1109/HASE.2012.36⟩
Communication dans un congrès
hal-00771884v1
|
|
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⟩
Communication dans un congrès
hal-00738970v1
|
|
Managing customer experience through service quality monitoringConference Future Network & Mobile Summit 2012, Jul 2012, Berlín, Germany. pp.1-9
Communication dans un congrès
hal-00771815v1
|
|
A event-based packet dropping detection scheme for wireless mesh networksCSS '12 : The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.309-323, ⟨10.1007/978-3-642-35362-8_24⟩
Communication dans un congrès
hal-00816664v1
|
|
Testing interoperability security policiesSEKE '12 : The 24th International Conference on Software Engineering and Knowledge Engineering, Jul 2012, San Francisco, United States. pp.464-469
Communication dans un congrès
hal-00744694v1
|
|
A vector based model approach for defining trust in multi-organization environmentsCRiSIS '12 : 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378939⟩
Communication dans un congrès
hal-00768221v1
|
|
Setting trust evaluations with fuzzy logic in MOESTV '12: System Testing and Validation Workshop, Oct 2012, Paris, France. pp.49-58
Communication dans un congrès
hal-00767987v1
|
|
|
Detecting control flow in Smarphones: Combining static and dynamic analysesCSS 2012: The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.33 - 47, ⟨10.1007/978-3-642-35362-8_4⟩
Communication dans un congrès
hal-00785180v1
|
A SPIN-based approach for detecting vulnerabilities in C programsPSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143
Communication dans un congrès
hal-01465027v1
|
|
A model-based attack injection approach for security validationSIN '11 : 4th international conference on Security of information and networks, Nov 2011, Sydney, Australia. pp.103-110, ⟨10.1145/2070425.2070443⟩
Communication dans un congrès
hal-00711762v1
|
|
Route manipulation attack in wireless mesh networksAINA 2011 : 25th International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.501 - 508, ⟨10.1109/AINA.2011.11⟩
Communication dans un congrès
hal-01465746v1
|
|
FSM-based test derivation strategies for systems with time-outsQSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩
Communication dans un congrès
hal-01303601v1
|
|
Cost effective cross-layer protocol testing : a case studyCASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108
Communication dans un congrès
hal-01303607v1
|
|
|
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⟩
Communication dans un congrès
hal-01301638v1
|
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⟩
Communication dans un congrès
hal-01301634v1
|
|
Verification of interoperability security policies by model checkingHASE '11 : The 13th IEEE International High Assurance Systems Engineering Symposium, Nov 2011, Boca Raton, United States. pp.376 -381, ⟨10.1109/HASE.2011.17⟩
Communication dans un congrès
hal-00738626v1
|
|
|
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⟩
Communication dans un congrès
hal-01303013v1
|
Using requirements engineering in an automatic security policy derivation processDPM - SETOP 2011 : 6th International Workshop on Data Privacy Management and 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. pp.155-172, ⟨10.1007/978-3-642-28879-1_11⟩
Communication dans un congrès
hal-00738844v1
|
|
A formal approach for interoperability testing of security rulesSITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.277 - 284, ⟨10.1109/SITIS.2010.53⟩
Communication dans un congrès
hal-01305099v1
|
|
Testing web service orchestrators in context : a symbolic approachSEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Communication dans un congrès
hal-01306744v1
|
|
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⟩
Communication dans un congrès
hal-01309503v1
|
|
Transmit and reserve (tar) : a coordinated channel access for IEEE 802.11 networksWCNC 2010 : IEEE Wireless Communications and Networking Conference, Apr 2010, Sidney, Australia. pp.1 - 6, ⟨10.1109/WCNC.2010.5506240⟩
Communication dans un congrès
hal-01306741v1
|
|
Attack scripts generation for security validationSEC-SY '10 : Sécurité des Systèmes d'Information et les Environnements Collaboratifs, May 2010, Marseille, France
Communication dans un congrès
hal-00727714v1
|
|
Webmov : a dedicated framework for the modelling and testing of web services compositionICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.377 - 384, ⟨10.1109/ICWS.2010.24⟩
Communication dans un congrès
hal-01306746v1
|
|
A fault injection tool for testing web services compositionTAIC PART 2010 : Testing: Academic & Industrial Conference Practice and Research Techniques, Sep 2010, Windsor, United Kingdom. pp.137 - 146, ⟨10.1007/978-3-642-15585-7_13⟩
Communication dans un congrès
hal-01306763v1
|
|
A formal passive testing approach for checking real time constraintsQUATIC 2010 : 7th International Conference on the Quality of Information and Communications Technology, Sep 2010, Porto, Portugal. pp.274 - 279, ⟨10.1109/QUATIC.2010.55⟩
Communication dans un congrès
hal-01306297v1
|
|
Modeling, validation, and verification of PCEP using the IF languageFMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Jun 2009, Lisboa, Portugal. pp.122 - 136, ⟨10.1007/978-3-642-02138-1_8⟩
Communication dans un congrès
hal-00446605v1
|
|
|
A passive testing approach for security checking and its practical usage for web services monitoringNOTERE 2009 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada
Communication dans un congrès
hal-01360187v1
|
A formal passive testing approach to test a MANET routing protocolPWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩
Communication dans un congrès
hal-01369686v1
|
|
A formal approach for specification and verification of fault injection processICIS '09 : International Conference on Interaction Sciences, Dec 2009, Phoenix, United States. pp.883-890, ⟨10.1145/1655925.1656086⟩
Communication dans un congrès
hal-00771611v1
|
|
Analysis of the OLSR protocol by using formal passive testingAPSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩
Communication dans un congrès
hal-01366249v1
|
|
|
Software vulnerabilities, prevention and detection methods : a reviewSEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11
Communication dans un congrès
hal-01367445v1
|
|
A formal framework to integrate timed security rules within a TEFSM-based system specificationAPSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩
Communication dans un congrès
hal-00444089v1
|
A passive conformance testing approach for a MANET routing protocolSAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩
Communication dans un congrès
hal-00771619v1
|
|
An automated passive testing approach for the IMS PoC serviceASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩
Communication dans un congrès
hal-01316417v1
|
|
|
Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un SystèmeCFIP'2009, Oct 2009, Strasbourg, France
Communication dans un congrès
inria-00419463v1
|
Modélisation et détection formelles de vulnérabilités logicielles par le test passifSAR-SSI 2009 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information , Jun 2009, Luchon, France
Communication dans un congrès
hal-00444066v1
|
|
Network protocol interoperability testing based on contextual signatures and passive testingSAC 2009 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu (Hawaii), United States. pp.2 - 7, ⟨10.1145/1529282.1529284⟩
Communication dans un congrès
hal-01316444v1
|
|
A statistical approach to test stochastic and probabilistic systemsICFEM 2009 : 11th International Conference on Formal Engineering Methods, Dec 2009, Rio De Janeiro, Brazil. pp.186 - 205, ⟨10.1007/978-3-642-10373-5_10⟩
Communication dans un congrès
hal-01360751v1
|
|
Interoperability testing of presence service on IMS platformTridentCom 2009 : 5th International Conference onTestbeds and Research Infrastructures for the Development of Networks & Communities and Workshops, Apr 2009, Washington, United States. ⟨10.1109/TRIDENTCOM.2009.4976260⟩
Communication dans un congrès
hal-00442192v1
|
|
Extended interoperability models for timed system robustness testingLATINCOM '09 : IEEE Latin-American Conference on Communications, Sep 2009, Medelin, Colombia. pp.1-6, ⟨10.1109/LATINCOM.2009.5304903⟩
Communication dans un congrès
hal-00448581v1
|
|
Observability and controllability issues in conformance testing of Web service compositionsTESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩
Communication dans un congrès
hal-01360755v1
|
|
Security protocol testing using attack treesCSE '09 : 12th IEEE International Conference on Computational Science and Engineering, Aug 2009, Vancouver, Canada. pp.690-697, ⟨10.1109/CSE.2009.206⟩
Communication dans un congrès
hal-00446770v1
|
|
RobustWeb : development and validation of SOA applications based on Web servicesColloquium of Computation : Brazil / INRIA, Cooperations, Advances and Challenges, Jul 2009, Rio Grande Do Sul, Brazil
Communication dans un congrès
hal-00448589v1
|
|
Generating attack scenarios for the validation of security protocol implementationsSAST '08 : 2nd Brazilian Workshop on Systematic and Automated Software Testing, Oct 2008, Campinas, Brazil. pp.21-33
Communication dans un congrès
hal-00796077v1
|
|
Security rules specification and analysis based on passive testingGLOBECOM 2008 : IEEE Global Telecommunications Conference, Nov 2008, New Orleans, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2008.ECP.400⟩
Communication dans un congrès
hal-01378696v1
|
|
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⟩
Communication dans un congrès
hal-01373149v1
|
|
Distributed monitoring in Ad Hoc networks : conformance and security checking AdHoc-NOW 2008 : 7th International Conference on Ad Hoc Networks and Wireless, Sep 2008, Sophia-Antipolis, France. pp.345 - 356, ⟨10.1007/978-3-540-85209-4_27⟩
Communication dans un congrès
hal-01327393v1
|
|
Testing security policies for web applicationsICSTW '08 : IEEE International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.269-270, ⟨10.1109/ICSTW.2008.45⟩
Communication dans un congrès
hal-00796098v1
|
|
Context ontology for secure interoperabilityFARES 2008 : International Workshop on Frontiers in Availability, Reliability and Security, Mar 2008, Barcelona, Spain. pp.821-827, ⟨10.1109/ARES.2008.133⟩
Communication dans un congrès
hal-00796516v1
|
|
Efficient time synchronization mechanism for wireless multi hop networksPIMRC 2008 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2008, Cannes, France. pp.1 - 6, ⟨10.1109/PIMRC.2008.4699638⟩
Communication dans un congrès
hal-01379599v1
|
|
ReDEx : Receiver Diversity Exploitation mechanism for 802.11 wireless networksICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. pp.1 - 6
Communication dans un congrès
hal-01394732v1
|
|
Modeling system security rules with time constraints using timed extended finite state machinesDS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩
Communication dans un congrès
hal-01380237v1
|
|
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementationsICSTW 2008 : 1st International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.21 - 30, ⟨10.1109/ICSTW.2008.51⟩
Communication dans un congrès
hal-01326406v1
|
|
|
Une approche de test de robustesse basée sur l'injection de fautes et le monitorageColloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
Communication dans un congrès
hal-00250162v1
|
Regression and performance testing of an e-learning Web application : dotLRNSITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩
Communication dans un congrès
hal-01328016v1
|
|
|
Vérification et analyse de performance d'un protocole de gestion de sessionCFIP 2006: Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. 12 p
Communication dans un congrès
inria-00111718v1
|
MSP: A Novel Session Maintenance Protocol2006 14th IEEE International Conference on Networks, Sep 2006, Singapore, France. pp.1-6, ⟨10.1109/ICON.2006.302611⟩
Communication dans un congrès
hal-04085693v1
|
|
Génération de tests d'intéropérabilité pour le protocole TCP4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR '03), Oct 2003, Metz, France. pp.447-461
Communication dans un congrès
hal-01530440v1
|
Testing Software and SystemsIFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩
Proceedings/Recueil des communications
hal-04478239v1
|
Special issue on information systems quality for digital transformationSoftware Quality Journal, 30 (4), pp.953-954, 2022, ⟨10.1007/s11219-022-09608-y⟩
N°spécial de revue/special issue
hal-04476915v1
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Ouvrages
hal-01678967v1
|
5Greplay: a 5G network traffic fuzzer - application to attack injectionARES '21 : Actes de la 16e Conférence internationale sur la disponibilité, la fiabilité et la sécurité, ACM, pp.1-8, 2021, 9781450390514. ⟨10.1145/3465481.3470079⟩
Chapitre d'ouvrage
hal-04478392v1
|
|
From formal test objectives to TTCN-3 for verifying ETCS complex software control systemsCommunications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩
Chapitre d'ouvrage
hal-02904831v1
|
|
Multimedia Quality of ExperienceEmerging research on networked multimedia communication systems, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. ⟨10.4018/978-1-4666-8850-6.ch008⟩
Chapitre d'ouvrage
hal-01263826v1
|
|
Symbolic-based monitoring for embedded applicationsHandbook of research on embedded systems design, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. ⟨10.4018/978-1-4666-6194-3.ch003⟩
Chapitre d'ouvrage
hal-01263345v1
|
|
An ecosystem for customer experience managementQuality of experience engineering for customer added value services: from evaluation to monitoring, Wiley, pp.1 - 256, 2014, ISTE, 978-1-84821-672-3. ⟨10.1002/9781118984352.ch2⟩
Chapitre d'ouvrage
hal-01255095v1
|
|
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⟩
Chapitre d'ouvrage
hal-00690721v1
|
|
Modeling and testing secure web applicationsWeb-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩
Chapitre d'ouvrage
hal-00673835v1
|
|
Security in ad hoc networksWireless and mobile network security : security basics, security in on-the-shelf and emerging technologies, iSTE-WILEY, pp.475-524, 2009, 978-1-84821-117-9
Chapitre d'ouvrage
hal-00801279v1
|
Cyber-resilience approaches for cyber-physical systemsTélécom SudParis (Institut Mines-Télécom). 2023
Rapport
hal-04495662v1
|