Mehmet A. Orgun Guido Governatori Chuchang Liu Modal tableaux for verifying stream authentication protocols. 53-75 2009 19 Autonomous Agents and Multi-Agent Systems 1 http://dx.doi.org/10.1007/s10458-007-9027-4 db/journals/aamas/aamas19.html#OrgunGL09