How should I interpret this definition of the Dolev Yao Closure?
Please see the image below which represents an algebraic definition of the Dolev Yao Closure. From reading around, it appears this is BAN logic and that the lines mean "If you believe the above statement is true, then you must believe… Continue reading How should I interpret this definition of the Dolev Yao Closure?