Verification and Epistemics of Multi-Party Protocol Security (is een SEN1 en SEN2 project) July 2006 - June 2010
Collection
Collection
-
July 2007
-
PDL over Accelerated Labeled Transition Systems In Proceedings
T. Chen (Taolue), J.C. van de Pol (Jaco) and Y. Wang (Yanjing)
January 2008
-
Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings
January 2008 -
Refinement of Kripke Models for Dynamics In Proceedings
F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela) and Y. Wang (Yanjing)
September 2008
-
What is Protocol Analysis? Book Chapter
D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)
January 2009 -
Verifying epistemic protocols under common knowledge In Proceedings
Y. Wang (Yanjing), L. Kuppusamy (Lakshmanan) and D.J.N. van Eijck (Jan)
January 2009