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...
Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18 20 December 2002. The occasion celebrated a Jubilee, n...
