Formal Aspects in Security and Trust
Subtitle: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Theo Dimitrakos (Editor); Fabio Martinelli (Editor); Peter Y.A. Ryan (Editor); Steve Schneider (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 5, 2006
Language: eng
Format: Paperback
Number of pages: 259
ISBN-13: 9783540326281
Subjects: Computing and Information Technology; Computers; Computer Books: General; Computers - General Information; Operating Systems - General; Networking - General; Computer Science; Computer Vision; Information Technology; Computers / Networking / General; access control; ad-hoc networks; anonymity; authorization; distributed computing; formal methods; formal reasoning; formal verification; intrusion detection; privacy