Formal Aspects of Security

First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers (Lecture Notes in Computer Science)

Preface Formal Aspects of Security was held at Royal Holloway, University of London, 18-20 December 2002.

• Format
• 239 pages, Paperback
• First published
• February 12, 2004
• Publishers
• Springer
• Subjects
• Data security·Data encryption·Network security·Operating Systems·General·Computers·Security·General·Computer Books·General·Computers·General Information·Networking·General·Formal methods ·Congresses·Compu
• Language
• English