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

 Staff view

You must be logged in to Tag Records

Formal aspects in security and trust : 6th international workshop, FAST 2009, Eindhoven, the Netherlands, November 5-6, 2009, revised selected papers /

Pierpaolo Degano, Joshua D. Guttman, (eds.).

Book Cover
Names: Degano, Pierpaolo, | Guttman, Joshua D.
Published: Berlin : Springer, ©2010.
Series: Lecture notes in computer science ; 5983.
LNCS sublibrary. SL 4, Security and cryptology.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Trust - Congresses. | Informatique. | Computer Communication Networks. | Computer Security. | Computing Methodologies. | Trust.
Genres: Electronic books. | Conference papers and proceedings. | 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 : 6