Projects per year
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.
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 |
Fingerprint
Dive into the research topics of 'NLP-based Testing and Monitoring for Security Checking'. Together they form a unique fingerprint.Projects
- 1 Finished
-
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)
01/10/20 → 31/01/24
Project: EU