Title: Formal aspects in security and trust
First published: 2007
Subjects: Congresses, Formal methods (Computer science), Trust, Computer security, System design
LC classification: QA76.9.A25 F36 2006