Release Time:2025-10-31 Hits:
Indexed by: Journal Papers
Document Code: 566125
Date of Publication: 2025-12-10
Journal: ACM COMPUTING SURVEYS
Volume: 57
Issue: 12
ISSN: 0360-0300
Key Words: formal methods and theory of security; formal security models; Security and privacy