Gray-box monitoring of hyperproperties with an application to privacy
From MaRDI portal
Publication:2147690
DOI10.1007/s10703-020-00358-wzbMath1502.68187MaRDI QIDQ2147690
César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour, Sandro Stucki
Publication date: 20 June 2022
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-020-00358-w
security; privacy; runtime verification; LTL; monitorability; data minimization; hyperLTL; hyperproperty
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68P27: Privacy of data
Uses Software