Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps.
Sabato NoceraSimone RomanoRita FranceseGiuseppe ScannielloPublished in: SEET@ICSE (2023)
Keyphrases
- website
- decision support
- user friendliness
- web technologies
- web applications
- case study
- web pages
- access control
- information gathering
- web documents
- network security
- training set
- security issues
- information security
- heuristic search
- web content
- development process
- linked data
- satisfiability problem
- sat solvers
- web services
- security requirements
- semantic web
- software engineering