Highlights on Practical Applications of Agents and ...
Preview
Hans van Ditmarsch, Jan van Eijck, Ignacio Hern ́andez-Ant ́on, Floor Sietsma, Sunil Simon, and Fernando Soler-Toscano Abstract. It is far from obvious to find logical counterparts to crytographic protocol primitives. In logic, a common ...