Security Requirements Formalization with RQCODE in - Archive ouverte HAL Access content directly
Book Sections Year : 2024

Security Requirements Formalization with RQCODE in

No file

Dates and versions

hal-04324243 , version 1 (05-12-2023)

Identifiers

  • HAL Id : hal-04324243 , version 1

Cite

Andrey Sadovykh, Nan Messe, Ildar Nigmatullin, Sophie Ebersold, Maria Naumcheva, et al.. Security Requirements Formalization with RQCODE in. Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9. ⟨hal-04324243⟩
40 View
0 Download

Share

Gmail Facebook X LinkedIn More