NLP-based Testing and Monitoring for Security Checking

Andrey Sadovykh; Zujany  Salazar; Wissam Mallouli; Ana R. Cavalli; Dragos Truscan; Eduard Paul Enoiu; Rosa Iglesias; Olga Hendel

NLP-based Testing and Monitoring for Security Checking

Andrey Sadovykh, Zujany Salazar, Wissam Mallouli, Ana R. Cavalli, Dragos Truscan, Eduard Paul Enoiu, Rosa Iglesias, Olga Hendel

Information Technology

Research output: Contribution to conference › Abstract › Scientific › peer-review

33 Downloads (Pure)

Abstract

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.

Original language	English
Publication status	Published - 2021
MoE publication type	O2 Other
Event	Proceedings of The 33rd IFIP International Conference on Testing Software and Systems - Virtual, hosted by: University College London, London, United Kingdom Duration: 10 Nov 2021 → … Conference number: 2021 http://ictss2021.cs.ucl.ac.uk/index.html

Conference

Conference	Proceedings of The 33rd IFIP International Conference on Testing Software and Systems
Abbreviated title	ICTSS
Country/Territory	United Kingdom
City	London
Period	10/11/21 → …
Internet address	http://ictss2021.cs.ucl.ac.uk/index.html

Access to Document

ICTSS2021_NLPBasedtestingAccepted author manuscript, 132 KB

https://urn.fi/URN:NBN:fi-fe2023050139695

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ashraf, A. (Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Co-Investigator) & Chapagain, S. (Principal Investigator)
EU Horizon 2020
01/10/20 → 31/01/24
Project: EU

Cite this

@conference{d0329e9aee564289840e6fa79ea541b8,

title = "NLP-based Testing and Monitoring for Security Checking",

abstract = "VeriDevOps aims at bringing together fast and cost-effectivesecurity verification through formal modelling and verification, as well astest generation, selection, execution and analysis capabilities to enablecompanies to deliver quality systems with confidence in a fast-pacedDevOps environment. Security requirements are intended to be processedusing NLP advanced algorithms in order to deliver formal specificationsof security properties to be checked during development and operationof a system under test.",

author = "Andrey Sadovykh and Zujany Salazar and Wissam Mallouli and Cavalli, {Ana R.} and Dragos Truscan and Enoiu, {Eduard Paul} and Rosa Iglesias and Olga Hendel",

year = "2021",

language = "English",

note = "Proceedings of The 33rd IFIP International Conference on Testing Software and Systems , ICTSS ; Conference date: 10-11-2021",

url = "http://ictss2021.cs.ucl.ac.uk/index.html",

}

TY - CONF

T1 - NLP-based Testing and Monitoring for Security Checking

AU - Sadovykh, Andrey

AU - Salazar, Zujany

AU - Mallouli, Wissam

AU - Cavalli, Ana R.

AU - Truscan, Dragos

AU - Enoiu, Eduard Paul

AU - Iglesias, Rosa

AU - Hendel, Olga

N1 - Conference code: 2021

PY - 2021

Y1 - 2021

N2 - VeriDevOps aims at bringing together fast and cost-effectivesecurity verification through formal modelling and verification, as well astest generation, selection, execution and analysis capabilities to enablecompanies to deliver quality systems with confidence in a fast-pacedDevOps environment. Security requirements are intended to be processedusing NLP advanced algorithms in order to deliver formal specificationsof security properties to be checked during development and operationof a system under test.

AB - VeriDevOps aims at bringing together fast and cost-effectivesecurity verification through formal modelling and verification, as well astest generation, selection, execution and analysis capabilities to enablecompanies to deliver quality systems with confidence in a fast-pacedDevOps environment. Security requirements are intended to be processedusing NLP advanced algorithms in order to deliver formal specificationsof security properties to be checked during development and operationof a system under test.

M3 - Abstract

T2 - Proceedings of The 33rd IFIP International Conference on Testing Software and Systems

Y2 - 10 November 2021

ER -

NLP-based Testing and Monitoring for Security Checking

Abstract

Conference

Access to Document

Fingerprint

Projects

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments

Cite this