Dear all,

I will be attending the meeting below as Chair of BCS-FACS and plan to make
a short announcement about FMnet at some point during the proceedings.
Assuming that some others interested in FMnet will be there, I propose to
have a (probably informal) get-together of such people too, so please let me
know if you plan to attend. I will give more details when the timetable has
been set.

Jonathan

--
Prof. Jonathan Bowen, Professor of Computing
School of Computing, Information Systems and Mathematics (SCISM)
South Bank University, Borough Road, London SE1 0AA, UK
Tel: +44 (0)20 7815 7462/7420    Fax: +44 (0)870 133 8371
Email: [log in to unmask]  URL: http://www.sbu.ac.uk/~bowenjp/
Centre for Applied Formal Methods: http://www.cafm.sbu.ac.uk/
FMnet: http://www.fmnet.info/
Personal:
Email: [log in to unmask]    URL: http://www.jpbowen.com/

-------------------------------------------------------------------------

[Reminder --- Deadline for registration: November 29th]

[Note: due to the unexpectedly high number and quality of submitted
papers, the meeting is starting earlier than originally planned (on
Wednesday afternoon rather than Thursday morning) ]


                 Call for Participation

                    BCS-FACS
           FORMAL ASPECTS OF SECURITY (FASec)
        Royal Holloway, University of London, UK
               18 - 20 December, 2002

          http://www.sbu.ac.uk/menass/fasec/

To celebrate its 25th Anniversary, the BCS-FACS (British Computer Society -
Formal Aspects of Computing) Specialist Group is planning to organize
several events over the next two years. The main aim is to highlight the
use of formal methods, emphasize their relevance to modern computing, and
promote their wider applications. The first event will be on:

Formal Aspects of Security (FASec), to be held 18 - 20 December 2002 at
Royal Holloway, University of London, starting on the Wednesday
afternoon (2pm) and running through to Friday afternoon.


 It is being organized by:

Ali Abdallah
South Bank University, London
[log in to unmask]

Peter Ryan
University of Newcastle
[log in to unmask]

Steve Schneider
Royal Holloway, University of London
[log in to unmask]


The programme of this event consists of presentations from several invited
speakers and some invited and submitted papers. The audience of FASec is
expected to include those in the formal methods community who have (or would
like to develop) an interest in security and those in security who would
like
to understand how formal methods can make useful contributions to some
security aspects of distributed systems.

The proposed scope of FASec is deliberately broad and will encompass:

* A tutorial exposition to the various formal frameworks (notations, models,
methods, and techniques) used for formulating security requirements and for
reasoning about security properties.

* The identification of currently challenging security problems which could
make good raw materials for, and may benefit from, formal methods.

* New advances in formal methods for security.

* Case studies and critical evaluations.


Keynote Speakers:
-----------------

Professor Roger Needham FRS, Microsoft Research
Professor Fred Schneider, Cornell University


Invited speakers include:
------------------------

Ernie Cohen, Microsoft Research
Dieter Gollmann, Microsoft Research
Andy Gordon, Microsoft Research
Larry Paulson, University of Cambridge
Bart Preneel, Catholic University of Leuven
Peter Ryan, University of Newcastle
Steve Schneider, Royal Holloway, University of London
Susan Stepney, University of York


Topics of interest include:

 Frameworks for formulating security requirements
 Access control: requirements, models, mechanisms, and extensions
 Theoretical foundations for access control models
 Formal models for security management: keys, data integrity, accounting
   and audit.

 Theoretical foundations of network and distributed systems security.
 Specification, analysis, and verifications of cryptographic protocols.
 Theory of information flow.
 Secure networking: authentication and intrusion detection.

 Security for mobile code
 Access control in distributed and mobile systems
 Proof carrying code and byte-code verification
 Smart-cards and secure PDAs

 Safety and security: analogies and differences
 Case studies and critical evaluations of formal methods for security.
 Tools based on formal methods for security requirements, analysis, and
   verification.


Important Dates:
---------------
Deadline for submissions: 21 October, 2002
Notification to authors:  18 November, 2002
Camera-ready copies:      9  December, 2002

Registration Deadline:    29 November, 2002


Programme Committee includes:
----------------------------

Ali Abdallah, South Bank University
Jonathan Bowen, South Bank University
John Cooke, Loughborough University
Neil Evans, Royal Holloway, University of London
Cedric Fournet, Microsoft Research
Dieter Gollmann, Microsoft Research
Jeremy Jacob, University of York
Wenbo Mao, HP labs
Peter Ryan, University of Newcastle
Steve Schneider, Royal Holloway, University of London

Local Organizers:
-----------------
Neil Evans, Janet Hales, and Steve Schneider
Royal Holloway, University of London

Etienne Khayat, Mark Green
South Bank University, London.

BCS-FACS URL: http://www.bcs-facs.org/