SEC Friday

IFIP/SEC '98

FRIDAY, 4 SEPTEMBER 1998

10.00 - 10.30

SESSION A

PROTOCOLS

Dr. Mahmoud T. El-Hadidi, Cairo University, Dr. Nadia H. Hegazi, Eng. Heba K. Aslan, Electronic Research Institute, ET:
"Logic-Based Analysis of a New Hybrid Encryption Protocol for Authentication and Key Distribution"

SESSION B

HUMAN FACTORS
Marcel E.M. Spruit, Delft University of Technology, nl:
"Information security, the human factor"

11.00 - 12.30

MODELLING FOR SECURITY
Kathrin Schier, University of Hamburg, D:
"A Role and Task Based Security Model for Multifunctional Smartcard Applications in the Area of Electronic Commerce"
Masashi Yasuda, Takayuki Tachikawa, Makoto Takizawa, Tokyo Denki University, J:
"A Purpose-Oriented Access Control Model for Information Flow Management"
C. P. Louwrens and S.H. von Solms, Rand Afrikaans University, ZA
"Can computerized immunity be achieved, based on a biological model?"

13.30 - 15.00

SESSION A

MODELLING FOR SECURITY Paloma Diaz, Ignacio Aedo, Arturo Ribagorda, Universidad Carlos III de Madrid, E
Fivos Panetsos, Universidad Nacional de Educacion a Distancia (UNED), Madrid, E:
"A security model for the design of hypermedia systems"
Peter Trommler, IBM Research Division Zurich, CH:
"The Application Profile Security Model for Downloaded Executable Content"
Jussipekka Leiwo, Monash University, AUS:
"A group - enhanced ISSI model for secure interconnection of information systems"

SESSION B

MALICIOUS SOFTWARE
Hervé Debar, Marc Dacier, Andreas Wespi, IBM Zurich Research Rueschlikon, CH:
"Reference Audit Information Generation for Intrusion Detection Systems"
Jose Mauricio Bonifacio Junior, Instituto de Ciencias Matematicas de Sao Carlos, BR
Adriano Mauro Cansian, Universidade Estadual Paulista, BR:
"An Adaptive Intrusion Detection System Using Neural Networks"
M. J. Warren, Deakin University, AUS:
"Cyber Terrorism"

15.30 - 17.00

SESSION A

POLICY UPDATE
Nigel Hickson, Dept. of Trade and Industry, GB:
"Towards a National Infrastructure and Policy for Cryptography"
SECURITY MANAGEMENT
Rodolphe Ortalo, Yves Deswarte, LAAS-CNRS & INRIA, Toulouse, F:
"Quantitative Evaluation of Information System Security"
J. P. Bekmann, P. de Goede, A.C.M. Hutchison, University of Cape Town, ZA:
"Concurrancy and Synchronisation Issues in Security Implementaitons"

Severine Dusollier, Facutés Universitaires de Namur, B:
"Legal Aspects of Electronic Rights Management Systems"

SESSION B

PROTOCOLS

Claudia Eckert, Munich University of Technology, D:
"Tool-Supported Verification of Cryptographic Protocols"

Qi He, Carnegie Mellon University, USA:
"A New Practical Secure e-Voting Scheme"

Andreu Riera, Joan Borrell, Josep Rifa, Universitat Autonoma de Bercelona, E:
"An Uncoercible Verifiable Electronic Voting"

17.00 - 17.15

CLOSING
by the program committee co-chairs

NAVIGATION BAR