Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols

The validation of security protocols remains a complex and critical task in the cybersecurity landscape, often relying on labor-intensive testing or formal verification techniques with limited scalability. In this paper, we explore property-based testing (PBT) as a powerful yet underutilized methodo...

Full description

Bibliographic Details
Published in:Computers
Main Author: Manuel J. C. S. Reis
Format: Article
Language:English
Published: MDPI AG 2025-05-01
Subjects:
property-based testing
security protocols
cybersecurity
automated testing
protocol validation
Online Access:https://www.mdpi.com/2073-431X/14/5/179

Internet

https://www.mdpi.com/2073-431X/14/5/179

Similar Items