Modal Specifications of Trace-Based Security Properties (2002)

by Rafael Accorsi , David Basin , Luca Vigano
Venue:Proceedings of the Second International Workshop on Security of Mobile Multiagent Systems
Citations:2 - 0 self