Theorem-proving anonymity of infinite-state systems

DOI10.1016/J.IPL.2006.06.016zbMath1185.68627OpenAlexW2045649582MaRDI QIDQ845891

Hideki Sakurada, Yoshinobu Kawabe, Yasuyuki Tsukada, Ken Mano

Publication date: 29 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2006.06.016

zbMATH Keywords

verificationtheorem provingformal methodsanonymitysafety/security in digital systemsI/O-automatoninfinite-state system

Mathematics Subject Classification ID

Related Items (3)

On compositional reasoning about anonymity and privacy in epistemic logic ⋮ Probabilistic anonymity via coalgebraic simulations ⋮ Formalizing provable anonymity in Isabelle/HOL

Cites Work

• Private authentication
• Forward and backward simulations. I. Untimed Systems
• CSP and anonymity

This page was built for publication: Theorem-proving anonymity of infinite-state systems