Special issue of selected papers from FCS/VERIFY 2002
@proceedings{ACM-05-a, editor = {Serge Autexier, Iliano Cervesato, Heiko Mantel}, booktitle = {International Journal of Information Security}, title = {Special issue of selected papers from FCS/VERIFY 2002}, volume = {4}, number = {1-2}, publisher = {Springer}, pages = {1}, month = {february}, year = {2005}, }