Formal Models of Timing Attacks on Web Privacy
From MaRDI portal
Publication:2841280
DOI10.1016/S1571-0661(04)00329-9zbMath1268.68036WikidataQ62045730 ScholiaQ62045730MaRDI QIDQ2841280
Andrea Maggiolo-Schettini, Enrico Tronci, Roberto Gorrieri, Riccardo Focardi, Ruggero Lanotte, Simone Tini, Fabio Martinelli
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)
Cites Work
This page was built for publication: Formal Models of Timing Attacks on Web Privacy