Modal Specifications of Trace-Based Security Properties (2002)

by Rafael Accorsi, David Basin, Luca Viganò
Venue:Proceedings of the Second International Workshop on Security of Mobile Multiagent Systems