"CoPS - Checker of Persistent Security."

Carla Piazza, Enrico Pivato, Sabina Rossi (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics