Formal Aspects in Security and Trust
Publication year: 2007
: 978-3-540-75227-1
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). FAST2006 aimed at continuing the successful e?ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust.
: Computer Science, information, privacy, security, tools, trust, ubiquitous computing
