Formal Aspects of Security: First International Conference, Fasec 2002, London, Uk, December 16-18, 2002, Revised Papers 2003 Edition Contributor(s): Abdallah, Ali E. (Editor), Ryan, Peter (Editor), Schneider, Steve (Editor) |
|
ISBN: 3540206930 ISBN-13: 9783540206934 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: December 2003 |
Additional Information |
BISAC Categories: - Computers | Computer Science - Computers | Security - Cryptography - Computers | Networking - Hardware |
Dewey: 005.8 |
LCCN: 2003067370 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.6" H x 6.1" W x 9.1" (0.85 lbs) 246 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS, theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is one of a series of events organized by BCS-FACS to highlight the use of formal me- ods, emphasize their relevance to modern computing, and promote their wider application. As the architecture model of information systems evolves from - connected PCs, throughintranet (LAN) and internet (WAN), to mobile internet and grids, security becomes increasingly critical to all walks of society: c- merce, ?nance, health, transport, defence and science. It is no surprise therefore that security is one of the fastest-growing research areas in computer science. Theaudience ofFASec includes thosein the formalmethods community who have(orwouldliketodevelop)adeeper interestinsecurity, andthoseinsecurity who would like to understand how formal methods can make important cont- butions to some aspects of security. The scope of FASec is deliberately broad andcoverstopics that rangefrommodelling securityrequirementsthroughsp- i?cation, analysis, and veri?cations of cryptographic protocols to certi?ed code. The discussions at FASec 2002 encompassed many aspects of security: from theoretical foundations through support tools and on to applications. Formal methods has made a substantial contribution to this exciting eld in the past. |