Login / Signup
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
Lorenzo Veronese
Benjamin Farinier
Mauro Tempesta
Marco Squarcina
Matteo Maffei
Published in:
CoRR (2022)
Keyphrases
</>
security mechanisms
access control
data mining
information systems
data analysis
low cost
security issues