Trace Equivalence and Epistemic Logic to Express Security Properties

Kiraku Minami

In process algebras, security properties are expressed as equivalences between processes, but which equivalence is suitable is not clear. This means that there is a gap between an…