2nd CFP: BCS-FACS Formal Aspects of Security (FASec), Royal Holloway, UK, 19-20 December 2002

2nd CFP: BCS-FACS Formal Aspects of Security (FASec), Royal Holloway, UK, 19-20 December 2002

Post by Jonathan Bowe » Thu, 17 Oct 2002 01:36:53

[Reminder --- Deadline for submissions October 21]

                 Call for Papers

        Royal Holloway, University of London, UK
               19 & 20 December, 2002

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 19 & 20 December 2002 at
Royal Holloway, University of London. It is being organized by:

Ali Abdallah
South Bank University, London

Peter Ryan
University of Newcastle

Steve Schneider
Royal Holloway, University of London

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:

Dieter Gollmann, Microsoft Research
Andy Gordon, Microsoft Research
Larry Paulson, University of Cambridge
Peter Ryan, University of Newcastle
Steve Schneider, Royal Holloway, University of London
Susan Stepney, University of York

Papers offering research contributions in formal aspects of computer
are solicited for FASec.  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

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

Instructions for paper submissions:

Papers must be written in English and should not exceed fif* (15) pages
in length. Use of Springer's LNCS style is greatly encouraged.  Submissions
will be refereed by the programme committee and designated reviewers.
will be judged on scientific merit, innovation, readability and relevance.
Papers previously published or already being considered by another
should not be submitted.  Accepted papers will be presented at the meeting
and we hope to publish the proceedings with Springer LNCS.  Authors of
outstanding papers will be invited to develop them into journal versions for
publication in Formal Aspects of Computing.  If there are sufficient of
these, a special issue in Formal Aspects of Security will be produced.

Papers should be submitted in PostScript or PDF format by e-mail to Ali

affiliations, and abstract of each submitted paper should also be sent in
plain ASCII format.

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.veryComputer.com/