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

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