@Book{ autexier.ea:selected:2005, series = {International Journal for Information Security}, editor = {Serge Autexier and Iliano Cervesato and Heiko Mantel}, publisher = {Springer}, title = {Special Issue on FCS/Verify 2002}, url = {http://link.springer.com/journal/10207/4/1/page/1}, volume = 4, number = {1--2}, year = 2005 }