Trace Equivalence and Epistemic Logic to Express Security Properties

Kiraku Minami. Trace Equivalence and Epistemic Logic to Express Security Properties. In Alexey Gotsman, Ana Sokolova, editors, Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Volume 12136 of Lecture Notes in Computer Science, pages 115-132, Springer, 2020. [doi]

Abstract

Abstract is missing.