Formal aspects in security and trust
Subtitle: Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
By: Theo Dimitrakos ... [et al.] (eds.).
Contributors: Dimitrakos, Theo.
Series: Lecture notes in computer science -- 4691
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 284
ISBN-13: 9783540752264
Subjects: Computer security -- Congresses.; Formal methods (Computer science) -- Congresses.; Trust -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.