Context

Context of Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers, Pierpaolo Degano, Joshua Guttmann, Fabio Martinelli (eds.), (electronic resource)
Processing Feedback ...