From: deswarte@laas.laas.fr (Yves Deswarte)
Newsgroups: news.announce.conferences
Subject: ESORICS 92: Preliminary Programme
Date: 28 Jul 92 15:22:04 GMT
Expires: Mon, 23 Nov 1992 08:00:00 GMT
Organization: (none)


Please find enclosed the preliminary ESORICS 92 programme
in its ASCII English version. PostScript versions of
the full programme can be accessed by ftp at
"laas.laas.fr" (140.93.0.15), in files :
~ftp/pub/esorics/PGM.PS   : PostScript file without laserprep
~ftp/pub/esorics/PGM.PS.Z : idem in compressed form (binary)
~ftp/pub/esorics/PGM.PS.long   : PostScript file with laserprep
~ftp/pub/esorics/PGM.PS.long.Z : idem in compressed form (binary)



===== Yves Deswarte - LAAS-CNRS & INRIA - 31077 Toulouse (France) =====
==== E-mail:deswarte@laas.fr - Tel:+33/61336288 - Fax:+33/61336411 ====


                             ESORICS 92

                       Preliminary Programme



          European Symposium on Research in Computer Security
                November 23-25, 1992, Toulouse, France


Computer security is concerned with the protection of information in
environments where there is a possibility of intrusion or malicious
action. The aim of ESORICS is to further the progress of research in
computer security by establishing a European forum for bringing
together researchers in this area, by promoting the exchange of
ideas with system developers and by encouraging links with resear-
chers in related areas. To achieve this aim under the best condi-
tions, ESORICS 92 will be a single track symposium and the selected
papers will be presented in a conference hall whose capacity is 290
attendees. ESORICS 92 is the second symposium of a series started
with ESORICS 90 held in Toulouse in October, 1990.




Symposium Chair: Gerard Eizenberg (ONERA/CERT, France)


Organized by AFCET
In Cooperation with
    BCS     The British Computer Society
    CNRS    Centre National de la Recherche Scientifique
    DISSI   Delegation Interministerielle pour la Securite des
                 Systemes d'Information
    DRET    Direction des Recherches Etudes et Techniques
    ERCIM   European Research Consortium for Informatics and
                 Mathematics
    GI      Gesellschaft fur Informatik
    IEE     Institute of Electrical Engineers
    INRIA   Institut National de Recherche en Informatique et
                 Automatique
    NGI     Nederlands Genootschap voor Informatica


                             PROGRAMME
                    Monday, November 23, 1992

 9:00-10:30  Registration and welcome coffee
10:30-11:00  Introduction to ESORICS 92
11:00-12:30  Session: Access Control
   Towards security in an open systems federation
      (John A. Bull, Li Gong, Karen R. Sollins)
   Type-level access controls for distributed structurally object-
   oriented database systems
      (Udo Kelter)
   On the Chinese wall model
      (Volker Kessler)
12:30-14:15  Lunch
14:15-15:45  Session: Formal Methods
   Formal methods and automated tool for timing-channel identifi-
   cation in TCB source code
      (Jingsha He, Virgil D. Gligor)
   Separating the specification and implementation phases in
   cryptography
      (Marie-Jeanne Toussaint)
   Formal specification of security requirements using the theory of
   normative positions
      (Andrew J. I. Jones, Marek Sergot)
15:45-16:15  Break
16:15-17:45  Invited Talks
   Roger Needham: Key management (to be confirmed)
   Yvo Desmedt: Different views on security
18:00-...    Buffet
18:30-...    Poster Session

[ESORICS 92 will include Poster Sessions devoted to presentations on
work in progress, recent research results and innovative proposals.
These poster sessions will be held in rooms with paperboards and
poster supports, these rooms being available at any time from the
beginning to the end of the symposium. If you are interested in
posting a presentation, please submit a short description of your
presentation with your registration before September 30, 1992.
Notification of acceptance or rejection will be sent by October 25,
1992].

                             PROGRAMME
                    Tuesday, November 24, 1992

 8:30- 9:00  Welcome coffee
 9:00-10:30  Session: Authentication I
   Verification and modelling of authentication protocols
      (Ralf C. Hauser, E. Stewart Lee)
   KryptoKnight authentication and key distribution system
      (Refik Molva, Gene Tsudik, Els Van Herreweghen,
       Stefano Zatti)
   Associating metrics to certification paths
      (Anas Tarah, Christian Huitema)
10:30-11:00  Break
11:00-12:30  Session: Distributed Systems
   An object-oriented view of fragmented data processing for fault
   and intrusion tolerance in distributed systems
      (Jean-Charles Fabre, Brian Randell)
   The development and testing of the identity-based conference key
   distribution system for the RHODOS distributed system
      (M. Wang, A. Goscinski)
   Policy enforcement in stub autonomous domains
      (Gene Tsudik)
12:30-14:15  Lunch
14:15-15:45  Session: Authentication II
   Freshness assurance of authentication protocols
      (Kwok-Yan Lam, Dieter Gollmann)
   A formal framework for authentication
      (Colin Boyd)
   Timely authentication in distributed systems
      (Kwok-Yan Lam, Thomas Beth)
15:45-16:15  Break
16:15-17:00  Invited Talk
   Yvon Klein: What research for security evaluation ?
17:00-18:15  Panel: Availability and Integrity
18:30-...    Poster Session
20:00-...    Banquet

                       PROGRAMME
            Wednesday, November 25, 1992

 8:30- 9:00  Welcome coffee
 9:00-10:30  Session: Database Security
   Polyinstantiation for cover stories
      (Ravi S. Sandhu, Sushil Jajodia)
   On transaction processing for multilevel secure replicated
   databases
      (I. E. Kang, T. F. Keefe)
   Security constraint processing in multilevel secure AMAC schemata
      (G. Pernul)
10:30-11:00  Break
11:00-12:00  Session: System Architectures
   M2S: A machine for multilevel security
      (Bruno d'Ausbourg, Jean-Henri Llareus)
   GDoM, a multilevel document manager
      (Christel Calas)
12:00-13:45  Lunch
13:45-15:15  Session: Applications
   UEPS - A second generation electronic wallet
      (Ross J. Anderson)
   A hardware design model for cryptographic algorithms
      (Joan Daemen, Rene Govaerts, Joos Vandewalle)
   ASAX: Software architecture and rule-based language for universal
   audit trail analysis
      (Naji Habra, B. Le Charlier, A. Mounji, I. Mathieu)
15:15-15:30  Closing Remarks


Programme Committee:
    Jean-Jacques Quisquater (UCL, Belgium), Chair
    Bruno d'Ausbourg (ONERA-CERT, France)
    Joachim Biskup (Universitat Hildesheim, Germany)
    Peter Bottomley (RSRE, United Kingdom)
    Yvo Desmedt (University of Wisconsin-Milwaukee, USA)
    Yves Deswarte (LAAS-CNRS & INRIA, France)
    Gerard Eizenberg (ONERA-CERT, France)
    Amos Fiat (University of Tel-Aviv, Israel)
    Dieter Gollmann (University of London, United Kingdom)
    Franz-Peter Heider (GEI, Germany)
    Jeremy Jacob (Oxford University, United Kingdom)
    Helmut Kurth (IABG, Germany)
    Jean-Claude Laprie (LAAS-CNRS, France)
    Peter Landrock (Aarhus University, Denmark)
    Teresa Lunt (SRI, USA)
    John McDermid (University of York, United Kingdom)
    John McLean (NRL, USA)
    Catherine Meadows (NRL, USA)
    Jonathan Millen (MITRE, USA)
    Emilio Montolivo (Fondazione Ugo Bordoni, Italy)
    Roger Needham (University of Cambridge, United Kingdom)
    Alfredo de Santis (Universita di Salerno, Italy)
    Einar Snekkenes (NDRE, Norway)
    Marie-Jeanne Toussaint (Universite de Liege, Belgium)
    Kioumars Yazdanian (ONERA-CERT, France)

Organization Committee:
    Yves Deswarte (LAAS-CNRS & INRIA, France), Chair
    Laurent Cabirol (SCSSI, France)
    Jean-Francois Cornet (Consultant, France)
    Michel Dupuy (ENST, France)
    Marie-Therese Ippolito (LAAS-CNRS, France)
    Marie-France Kalogera (AFCET, France)
    Paul Richy (CNET, France)
    Pierre Rolin (ENSTA, France)
    Kioumars Yazdanian (ONERA-CERT, France)



                         GENERAL INFORMATION

Symposium Location: Hotel Palladia
  271 avenue de Grande Bretagne, 31300 Toulouse, France
  telephone: +33 62 120 120, fax: +33 62 120 121
  Hotel Palladia is located in the west district of Toulouse,
  5 km from city centre.

Access to Toulouse:
- By plane: Toulouse-Blagnac International Airport
  (telephone: +33 61 42 44 00). Hotel Palladia is 4 km from the
  airport. Approximate taxi fare is 50 FF.
- By train: Toulouse-Matabiau railway station (telephone:
  +33 61 62 50 50). Bus 14 from railway station to "Chardonnet"
  stop (in front of Hotel Palladia). Approximate taxi fare is 70FF.
- By car: Toulouse is linked to the main European road networks.
  On the Toulouse ring, direction Auch, exit 1 to Casselardit-
  Purpan.

Tourist Information: Office du Tourisme, Donjon du Capitole,
  31000 Toulouse, telephone: +33 61 11 02 22

Visa: For non European Community citizens, please check with the
  French Consulate in your home country if you need a visa. Visa
  applications take approximately 4 weeks to process.

Registration Procedure:
- Advance: Please complete the registration form and send it to
  AFCET. About 15 days before the beginning of the symposium,
  registered participants will receive their pass, which is to be
  presented at the registration desk to receive symposium documents.
- On-Site: Registration desk and welcome service will be available
  from 8:30 am to 8:00 pm on Monday 23, to 7:30 pm on Tuesday 24 and
  to 4:00 pm on Wednesday 25.
- Fellowships: Applications for half-rate registrations can be sent
  to AFCET with due justification. Students wishing to apply for
  these fellowships should join a recommendation letter from their
  professor.
- Fees: Registrations fees include admission to the technical ses-
  sions, one copy of the proceedings, breaks, lunches, Monday buffet
  and Tuesday banquet.

Payments: Payments are accepted in French Francs only:
- by credit cards (Visa International or MasterCard only): complete
  the charge authorization on the registration form.
- by banker's draft (with indication of your name and ESORICS 92),
  to the order of AFCET, bank account 502 650 009-02 at BIMP,
  22 rue Pasquier, 75008 Paris, France. Please ask your bank to
  arrange the transfer at no cost for the beneficiary. Bank charges,
  if any, are at the participant's expense. To guarantee your regis-
  tration, enclose a copy of your bank transfer.

Cancellations: Refunds of 50% will be made if a written request is
  received before October 23, 1992. No refunds will be made for
  cancellations received after this date. In case of symposium
  cancellation for reasons beyond its control, AFCET limits its
  liability to the registration fees already paid.

Proceedings: ESORICS 92 proceedings will be distributed on-site to
  registered participants. Extra copies of ESORICS 92 and ESORICS 90
  proceedings will be sold on-site.

Languages: English and French, with simultaneous translation.

Social Event: A dinner banquet will be offered to all registered
  participants on Tuesday, November 24, 1992. For accompanying
  persons, banquet price is 250 FF.

Post-Symposium Tour: A visit (by bus) of Toulouse, the medieval city
  of Carcassonne and their region will be organized on Thursday,
  November 26, 1992. If interested, please tick the corresponding
  box on the registration form to receive tour information.

Travel Discounts: About 35% reduction for some Air Inter domestic
  return flights can be obtained for the Symposium dates. Please
  tick the appropriate box on the registration form to receive your
  discount voucher.

Hotel Reservations: There are many hotels in Toulouse in every
  category. A list of hotels, within walking distance from Hotel
  Palladia and offering special prices to ESORICS 92 participants,
  is given at the end of this message. For your reservation, please
  contact DIRECTLY the hotel of your choice; do not forget to
  mention ESORICS 92.

Local Organization: Marie-Therese Ippolito, LAAS-CNRS,
  7 avenue du Colonel Roche, 31077 Toulouse (France),
  telephone: +33 61 33 62 74, fax: +33 61 55 35 77,
  E-mail: esorics@laas.fr.



                      REGISTRATION FORM

To be sent to: AFCET - ESORICS 92
               156, boulevard Pereire
               75017 Paris (France)
               Fax : +33 1 42 67 93 12
               Telephone: +33 1 47 66 24 19

          (Please print)
Name:
First Name:
Company:
Address:


Country:
Telephone :                  Fax :
Nb of invoices requested:
Invoice(s) to be sent to:


Air Inter Discount
[]  Please send me an Air Inter discount voucher

Post-Symposium Tour
[]  Please send me tour information

Poster Session
[]  I wish to present a poster and I enclose its description.


FEE (18.6% VAT included):

Member: AFCET []   BCS []   GI []   IEE []   NGI []
            Before October 24, 1992 :  3000 FF []
            After  October 23, 1992 :  3500 FF []

Non member:
            Before October 24, 1992 :  3300 FF []
            After  October 23, 1992 :  3800 FF []

Accompanying persons for banquet:     x 250 FF


                           TOTAL :          FF

PAYMENT (enclosed):

   Banker's draft []
   Purchase order []
   Credit Card Authorization:
        I duly authorize you to charge my  Visa Intl []
                                          MasterCard []
        Expiration :     Card Number:
        Card holder name:
        Signature:                  Date :



                          HOTEL LIST

For all reservations, contact DIRECTLY the hotel of your choice,
mentioning ESORICS 92, and confirm your reservation by fax or telex.

Palladia ****
271 avenue de Grande Bretagne, 31300 Toulouse
telephone : +33 62 120 120         fax : +33 62 120 121
single 490 FF, breakfast 70 FF
(Free shuttle available on request from the airport)

Dotel ***
Avenue des Arenes Romaines, 31300 Toulouse
telephone : +33 61 83 83           fax : +33 61 31 00 10
single 320 FF, breakfast included
(Free shuttle available on request from the airport)

Novotel Toulouse Purpan ***
23 Impasse Maubec, 31300 Toulouse
telephone : +33 61 49 34 10        fax : +33 61 49 63 37
single 430 FF, breakfast 47 FF
(Free shuttle available on request from the airport)

Le Grande Bretagne ***
300 avenue de Grande Bretagne, 31300 Toulouse
telephone : +33 61 31 84 85        fax : +33 61 31 87 12
single 390 FF, breakfast included

Campanile Purpan **
33 route de Bayonne, 31300 Toulouse
telephone : +33 61 31 09 09        fax : +33 61 31 09 10
single 240 FF, breakfast 29 FF

Gascogne **
25 allees Charles de Fitte, 31300 Toulouse
telephone : +33 61 59 27 44        telex : 521090F
single 230 FF, breakfast 35 FF
(3 km from Hotel Palladia, bus 14 "Saint-Cyprien" stop)