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

Informationsteknologi

Forskningsoutput: Konferensbidrag › Sammanfattning › Vetenskaplig › Peer review

33 Nedladdningar (Pure)

Sammanfattning

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.

Originalspråk	Engelska
Status	Publicerad - 2021
MoE-publikationstyp	O2 Other
Evenemang	Proceedings of The 33rd IFIP International Conference on Testing Software and Systems - Virtual, hosted by: University College London, London, Storbritannien Varaktighet: 10 nov. 2021 → … Konferensnummer: 2021 http://ictss2021.cs.ucl.ac.uk/index.html

Konferens

Konferens	Proceedings of The 33rd IFIP International Conference on Testing Software and Systems
Förkortad titel	ICTSS
Land/Territorium	Storbritannien
Ort	London
Period	10/11/21 → …
Internetadress	http://ictss2021.cs.ucl.ac.uk/index.html

Åtkomst av dokument

ICTSS2021_NLPBasedtestingAccepterat manuskript från författare, 132 KB

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

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

Citera det här

@conference{d0329e9aee564289840e6fa79ea541b8,

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

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.",

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-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.

AB - 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.

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

Sammanfattning

Konferens

Åtkomst av dokument

Fingeravtryck

Projekt

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

Citera det här