"Proceedings of the 2004 ACM Workshop on Formal Methods in Security ..."

Vijayalakshmi Atluri et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics