Location & Availability for: Formal aspects in security and trust : I

 Staff view

You must be logged in to Tag Records

Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /

edited by Theo Dimitrakos, Fabio Martinelli.

Book Cover
Names: Dimitrakos, Theo. | Martinelli, F.
Published: New York : Springer Science, c2005.
Series: International Federation for Information Processing (Series) ; 173.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Trust - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal aspects in security and trust : I