E-LIB Suche - Ergebnisse für: Cavalli, Ana

1

A Survey on Cyber-Resilience Approaches for Cyber-Physical ..:

Segovia-Ferreira, Mariana ; Rubio-Hernan, Jose ; Cavalli, Ana.
ACM Computing Surveys. 56 (2024) 8 - p. 1-37 , 2024

Link: https://doi.org/10.1145/..

2

HTTP/2 Attacks Generation using 5Greplay:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,

Caccavale, Francesco G. ; Nguyen, Huu-Nghia ; Cavalli, Ana.. - p. 1-7 , 2023

Link: https://dl.acm.org/doi/1..

3

Towards Smarter Security Orchestration and Automatic Respon..:

, In: 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),

Nguyen, Phu ; Dautov, Rustem ; Song, Hui... - p. 298-302 , 2023

Link: https://doi.org/10.1109/..

4

Threatening the 5G core via PFCP DoS attacks: the case of b..:

Amponis, George ; Radoglou-Grammatikis, Panagiotis ; Lagkas, Thomas...
EURASIP Journal on Wireless Communications and Networking. 2022 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..

5

SANCUS: Multi-layers Vulnerability Management Framework for..:

, In: Proceedings of the 16th International Conference on Availability, Reliability and Security,

Zarakovitis, Charilaos ; Klonidis, Dimitrios ; Salazar, Zujany... - p. 1-10 , 2021

Link: https://dl.acm.org/doi/1..

6

From Formal Test Objectives to TTCN-3 for Verifying ETCS Co..:

, In: Communications in Computer and Information Science; Software Technologies,

Ameur-Boulifa, Rabea ; Cavalli, Ana ; Maag, Stephane - p. 156-178 , 2020

Link: https://doi.org/10.1007/..

7

Smart Measurements and Analysis for Software Quality Enhanc..:

, In: Communications in Computer and Information Science; Software Technologies,

Dahab, Sarah ; Maag, Stephane ; Mallouli, Wissam. - p. 194-219 , 2019

Link: https://doi.org/10.1007/..

8

Validation of a Trust Approach in Multi-Organization Enviro..:

Toumi, Khalifa ; Cavalli, Ana ; Andrés, César
International Journal of Secure Software Engineering. 5 (2014) 1 - p. 1-18 , 2014

Link: https://doi.org/10.4018/..

9

Using passive testing based on symbolic execution and slici..:

Mouttappa, Pramila ; Maag, Stephane ; Cavalli, Ana
Computer Networks. 57 (2013) 15 - p. 2992-3008 , 2013

Link: https://doi.org/10.1016/..

10

ICST 2010 Special Issue:

Cavalli, Ana ; Ghosh, Sudipto
Software Testing, Verification and Reliability. 23 (2013) 5 - p. 351-351 , 2013

Link: https://doi.org/10.1002/..

11

A Distributed and Collaborative Intrusion Detection Archite..:

Morais, Anderson ; Cavalli, Ana
Mobile Networks and Applications. 19 (2013) 1 - p. 101-120 , 2013

Link: https://doi.org/10.1007/..

12

A systematic approach to integrate common timed security ru..:

Mammar, Amel ; Mallouli, Wissam ; Cavalli, Ana
Information and Software Technology. 54 (2012) 1 - p. 87-98 , 2012

Link: https://doi.org/10.1016/..

13

An advanced approach for modeling and detecting software vu..:

Shahmehri, Nahid ; Mammar, Amel ; Montes de Oca, Edgardo...
Information and Software Technology. 54 (2012) 9 - p. 997-1013 , 2012

Link: https://doi.org/10.1016/..

14

A distributed intrusion detection scheme for wireless ad ho..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

Morais, Anderson ; Cavalli, Ana - p. 556-562 , 2012

Link: https://dl.acm.org/doi/1..

15

Tight bound on the length of distinguishing sequences for n..:

Hwang, Iksoon ; Yevtushenko, Nina ; Cavalli, Ana
Information Processing Letters. 112 (2012) 7 - p. 298-301 , 2012

Link: https://doi.org/10.1016/..