Journal Article

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

Reis M.J.C.S.

Computers, 14(5), 179 · 2025

DOI