Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig

Browse the full ATVA paper archive.