FASEC 2002 by Ali E. Abdallah (Editor), Peter Ryan (Editor), Steve Schneider (Editor) ( 9783540206934 )

Item Details

Title:

FASEC 2002
FIRST INTERNATIONAL CONFERENCE, FASEC 2002, LONDON, UK, DECEMBER 16-18, 2002, REVISED PAPERS

By:

Ali E. Abdallah (Editor), Peter Ryan (Editor), Steve Schneider (Editor)

Format:

Paperback

List price:	£53.99
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

3540206930

ISBN 13:

9783540206934

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

3 December, 2003

Series:

Lecture Notes in Computer Science v. 2629

Pages:

256

Description:

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London, UK, in December 2002.The 11 revised full papers presented together with 7 invited contributions were carefully reviewed, selected, and improved for inclusion in the book.

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.

Illustrations:

biography

Publication:

Germany

Imprint:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Returns:

Returnable

Some other items by this author:

APPLIED CRYPTOGRAPHY AND NETWORK SECURITY (PB)

ASSERTIVE OUTREACH (PB)

ASSERTIVE OUTREACH E-BOOK