Refine your search

Your search returned 4 results.

|
1.
Formal Aspects in Security and Trust [Recurso electrónico] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22â€{u2DEC} 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli.

by Dimitrakos, Theo | Martinelli, Fabio | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Texto completo Availability: No items available

2.
Trust Management VI [Recurso electrónico] : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings / edited by Theo Dimitrakos, Rajat Moona, Dhiren Patel, D. Harrison McKnight.

by Dimitrakos, Theo | Moona, Rajat | Patel, Dhiren | McKnight, D. Harrison.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

3.
Formal Aspects in Security and Trust (vol. # 3866) [Recurso electrónico] / Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers edited by Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Rya

by Dimitrakos, Theo | Martinelli, Fabio | Ryan, Peter Y.A | Schneider, Steve | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

4.
Formal Aspects in Security and Trust [Recurso electrónico] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Sch

by Dimitrakos, Theo | Martinelli, Fabio | Ryan, Peter Y. A | Schneider, Steve | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

Powered by Koha