"Pluggable verification modules: an extensible protection mechanism for the ..."

Philip W. L. Fong (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics