NLP-based Testing and Monitoring for Security CheckingShow others and affiliations
2022 (English)In: TESTING SOFTWARE AND SYSTEMS, ICTSS 2021 / [ed] Clark, D Menendez, H Cavalli, AR, SPRINGER INTERNATIONAL PUBLISHING AG , 2022, Vol. 13045, p. 235-237Conference paper, Published paper (Refereed)
Abstract [en]
VeriDevOps aims at bringing together fast and cost-effective security verification through formal modelling and verification, as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced DevOps environment. Security requirements are intended to be processed using NLP advanced algorithms in order to deliver formal specifications of security properties to be checked during development and operation of a system under test.
Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2022. Vol. 13045, p. 235-237
Series
Lecture Notes in Computer Science, ISSN 0302-9743
Keywords [en]
Model-Driven engineering, Cybersecurity, Test and validation, Runtime analysis, Natural language processing.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-60589ISI: 000870696000023ISBN: 978-3-031-04673-5 (print)OAI: oai:DiVA.org:mdh-60589DiVA, id: diva2:1709529
Conference
33rd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), NOV 10-12, 2021, Univ Coll London, ELECTR NETWORK
2022-11-092022-11-092022-11-09Bibliographically approved