Formal Aspects of Security | First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Ali E. Abdallah (u. a.)

ISBN 10: 3540206930 / ISBN 13: 9783540206934

Published by Springer, 2003

About this Item

Formal Aspects of Security | First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers | Ali E. Abdallah (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540206934 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 102480401

Bibliographic Details

• Title: Formal Aspects of Security | First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
• Publisher: Springer
• Publication Date: 2003
• Language: English
• ISBN 10: 3540206930
• ISBN 13: 9783540206934
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 15D millimeters 235 millimeters width by 155 millimeters height by 15 millimeters depth
• Weight: 394 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.