Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton Ontario, Canada, August 26-27, 2006 : revised selected papers
FAST 2006 (2006 Hamilton, Ont.) Theo Dimitrakos; Fabio Martinelli 1969; Peter Y. A Ryan; Steve Schneider
Berlin Springer New York c2006
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4691 ) e outros locais(Acessar)