News

Conference programme

Download the Safecomp 2006 Final Program (964kB)

Conference programme overview

SAFECOMP 2006 will take place on 27-29 September 2006.
The conference will be preceded by a day of tutorials on September 26th.
On 25th and 26th of September EWICS TC7 meeting and RESIST project meeting are scheduled.

September 26th
Tuesday
Tutorials Day
September 27th
Wednesday
Conference Day 1
September 28th
Thursday
Conference Day 2
September 29th
Friday
Conference Day 3
Tutorial Registration Registration & Opening
TUTORIALS I
Lunch/Tutorial Registration
TUTORIALS II
Keynote I
Session I
Session II
Lunch
Keynote II
Session III
Keynote III
Session IV
Session V
Lunch
Session VI
Session VII
Session VIII
Posters
Keynote IV
Session IX
Session X
Closing
Lunch
Registration Sponsors
Welcome Reception Guided tour
and
Visit to the Museum of Amber
Conference Dinner

Detailed programme

The planned programme of SAFECOMP 2006 is presented below.

26.09.2006 (Tuesday) - Tutorials Day

8:00 - 9:00 Tutorial Registration
9:00 - 13:00 TUTORIALS I
13:00 - 14:00 Lunch/Tutorial Registration
14:00 - 18:00 TUTORIALS II
18:00 - 19:00 SAFECOMP 2006 Registration
19:00 - 21:00 SAFECOMP 2006 Welcome Reception

27.09.2006 (Wednesday) - Conference Day 1

08:00 - 09:00 Registration
09:00 - 09:30 Opening Session
Janusz Gorski – IPC Chair
Udo Voges – EWICS Chair
Aleksander Jarzebowicz – Organising Committee Chair
09:30 - 10:15 Keynote I: Cliff Jones – University of Newcastle, UK
Chair: Albrecht Weinert – Fachhochschule Bochum, Germany
Dependability of Computer-Based Systems: why interdisciplinarity is essential

The ubiquity of computers derives from their size, power and price. Their widespread use puts ever more demanding reliability requirements on hardware and software. However, their use by non-experts and their intrusion into everyone's (work) environment poses another sort of challenge: we must look at the dependability of systems far wider than hardware and software. "Computer-based" systems involve humans and are only dependable if all components play to their strengths and check the against failures resulting from the weaknesses of other components. Such observations led us to undertake a large research project which combined psychologists, statisticians and sociologists as well as computer scientists. I will argue strongly that such an interdisciplinary approach is essential. I'd like to report on the experience of this six year project and highlight a few of the outcomes as well as indicate what I see as some of the major challenges ahead.

Cliff Jones has spent more of his career in industry than academia. Fifteen years in IBM saw, among other things, the creation with colleagues in Vienna of VDM which is one of the better known "formal methods". He subsequently became a professor at the University of Manchester then switched back into industry with Harlequin, he is now a Professor of Computing Science at the University of Newcastle. As well as formal methods, he also has strong research interests in interdisciplinary aspects of computer science and the history of computing. Currently his own major research project is the five university "Interdisciplinary Research Collaboration" on "Dependability of Computer-Based Systems" of which he is overall Project Director. Professor Cliff Jones is a Fellow of the Royal Academy of Engineering (FREng) and of the ACM. He is also Editor-in-Chief of the Formal Aspects of Computing journal.

10:15 - 10:40 Coffee Break
10:40 - 11:55 Session I: Systems of Systems
Chair: Udo Voges – Forschungszentrum Karlsruhe GmbH, Germany
System of Systems Hazard Analysis using Simulation and Machine Learning
  • Robert Alexander – University of York, UK
  • Dimitar Kazakov – University of York, UK
  • Tim Kelly – University of York, UK
Through the description of attacks: a multidimensional view
  • Igor Nai Fovino – Joint Research Centre, Italy
  • Marcelo Masera – Joint Research Centre, Italy
On Certain Behavior of Scale-free Networks under Malicious Attacks
  • Tomasz Gierszewski – Gdansk University of Technology, Poland
  • Wojciech Molisz – Gdansk University of Technology, Poland
  • Jacek Rak – Gdansk University of Technology, Poland
11:55 - 12:20 Coffee Break
12:20 - 13:35 Session II: Security & Survivability Analysis
Chair: Peter Daniel – EWICS TC7 Security Subgroup Chair, UK
Verifying a Chipcard Based Biometric Identification Protocol in VSE
  • Lassaad Cheikhrouhou – German Research Center for Artificial Intelligence GmbH, Germany
  • Georg Rock – German Research Center for Artificial Intelligence GmbH, Germany
  • Werner Stephan – German Research Center for Artificial Intelligence GmbH, Germany
  • Gunter Lassmann – T-Systems Enterprise Services GmbH, Germany
  • Matthias Schwan – T-Systems Enterprise Services GmbH, Germany
Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry
  • Felicjan Rydzak – Wroclaw University of Technology, Poland
  • Lars S. Breistrand – Agder University College, Norway
  • Finn Olav Sveen – Agder University College, Norway
  • Ying Qian – Agder University College, Norway
  • Jose J. Gonzalez – Agder University College, Norway
Computer System Survivability Modelling by Using Stochastic Activity Network
  • Eimantas Garsva – Vilnius Gediminas Technical University, Lithuania
13:35 - 14:35 Lunch
14:35 - 15:20 Keynote II: Yves Paindaveine – Scientific Officer, IST Programme, DG INFSO, European Commission
Chair: Francesca Saglietti – University of Erlangen-Nuremberg, Germany
Security, Dependability and Trust - towards the 7th Framework Program

Abstract: The objective of ICT research under the 7th Research Framework Program (FP7) is to improve the competitiveness of European industry and enable Europe to master and shape the future developments of ICT so that the demands of its society and economy are met. Activities will have to strengthen Europe's scientific and technology base, contribute to securing its global leadership in ICT, help drive and stimulate innovation and ensure that ICT progress is rapidly transformed into benefits for Europe's citizens, businesses, industry and governments.

The first ICT work program is currently under preparation and will likely have a budget of around 2 billion EUR for the next 2 years. The work program is expected to be structured around seven major key research challenges, driven either by industrial and technological objectives or by socio-economic goals. In this keynote, we will briefly present these key challenges. We will then focus on those of direct interest to the security and dependability community at large and to the SAFECOMP audience in particular. In doing so, we will deliver a few key messages on the need of integrating interdisciplinary research groups working in security, dependability and trust with those working in networks and services. Among the topics expected to be covered in the first ICT-FP7 work program are included: the security and resilience in network infrastructures; improvements to security of network and service infrastructures in order to favour an efficient take up of business critical applications and to increase consumer confidence in networked transactions and applications; development of a cost-effective and efficient critical ICT-based infrastructure protection capability in Europe for ensuring integrity, availability and continuity of service supply. Building a secure and trusted "Future Internet" and interconnected experimental test-beds addressing novel distributed, reconfigurable and secure protocol architectures and their validation are two additional research objectives of interest to the SAFECOMP audience that are also expected to be supported in the first ICT-FP7 work program.

Speaker's Bio: Yves Paindaveine is a microelectronics and computer science engineer by education. While at the Open Software Foundation Research Institute, he worked, among others, on distributed systems and security. He joined the European Commission in 1998 as a scientific officer for RTD projects dealing with health informatics (IST Programme). Later on, he joined the Unit "ICT for trust and security" headed by Jacques Bus, where he is working on network security and dependability.

15:20 - 15:45 Coffee Break
15:45 - 17:00 Session III: Nuclear Safety & Application of Standards
Chair: Gerd Rabe – TUV NORD SysTec GmbH & Co. KG, Germany
Software Safety Lifecycle and Methods of Programmable Electronic Safety System for Nuclear Power Plant
  • Jang-Soo Lee – Korea Atomic Energy Research Institute, South Korea
  • Arndt Lindner – Institut fuer Sicherheitstechnologie, Germany
  • Jong-Gyun Choi – Korea Atomic Energy Research Institute, South Korea
  • Horst Miedl – Institut fuer Sicherheitstechnologie, Germany
  • Kee-Choon Kwon – Korea Atomic Energy Research Institute, South Korea
Regulatory Software Configuration Management System Design
  • I-Hsin Chou – Institute of Nuclear Energy Research / Yuan-Ze University, Taiwan
  • Chin-Feng Fan – Yuan-Ze University, Taiwan
Gaining confidence in the Software Development Process using Expert Systems
  • Mario Brito – University of Bristol, UK
  • John May – University of Bristol, UK
19:30 - 22:00 Guided tour (Gdansk Old Town) and
Visit to the Museum of Amber

28.09.2006 (Thursday) - Conference Day 2

9:00 - 9:45 Keynote III: Jens Braband – Siemens AG, Transportation Systems
Chair: Udo Voges – Forschungszentrum Karlsruhe GmbH, Germany
Safety analysis based on IEC 61508 - Lessons Learned and Way Forward

Since its publication IEC 61508 has gained widespread use and approval, however experience has shown that there are many areas where questions occur and where the standard can be improved. This presentation focuses on a simple example PES system and tries to highlight problems and potential pifalls in the application of IEC 61508, addressing also proposals which have been made recently during the maintenance. Particular topics addressed include terminology, risk analysis, operation modes, safety integrity levels, safety criticality, properties and, last but not least, documentation.

Jens Braband received a Diploma in Mathematics in 1987 and a doctorate degree in 1992 for a thesis on stochastic modelling, both from TU Braunschweig in Germany. Jens joined the Rail Automation branch of Siemens Transportation Systems Group in 1993 as a safety expert. From 1993-1997 he was project manager of the EURORADIO project and safety manager for ERTMS. Since 2002 he is Head of the R&D Integrity department of the Rail Automation group. Since 2005 he is member of the UNIFE Safety Assurance group and also nominated as a safety expert to the European Railway Agency (ERA). He is accredited as an independent safety assessor (ISA) by the German railway safety authority, the Eisenbahn-Bundesamt (EBA). He has been convenor and member of several CENELEC and IEC standardisation committees. Since 2001 Jens gives regular lectures on system safety topics at the Institute of Railway Systems Engineering and Transportation Safety (IfEV) of the TU Braunschweig. In 2004 he received a honorary professorship for "Risk and Safety Analysis of Transportation Systems". Since 2005 he coordinates the Rail Automation Graduate School, a Siemens PhD programme dedicated to research in the rail automation sector, currently consisting of 12 scholarships.

9:45 - 11:00 Session IV: Formal Approaches
Chair: Robin Bloomfield – City University, UK
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems
  • Richard Banach – University of Manchester, UK
  • Marco Bozzano – ITC-IRST, Italy
Stepwise Development of Secure Systems
  • Thomas Santen – Technical University of Berlin, Germany
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration
  • Holger Giese – University of Paderborn, Germany
  • Matthias Tichy – University of Paderborn, Germany
11:00 - 11:25 Coffee Break
11:25 - 12:40 Session V: Networks Dependability
Chair: Ming-Yuh Huang – Boeing Phantom Works, USA
New VoIP traffic security scheme with digital watermarking
  • Wojciech Mazurczyk – Warsaw University of Technology, Poland
  • Zbigniew Kotulski – Warsaw University of Technology, Poland
Analysis of both Filtering and Alerting Policy Anomalies in Single-Component Setups
  • Joaquin Garcia-Alfaro – ENST-Bretagne, France / dEIC-UAB, Spain
  • Frederic Cuppens – ENST-Bretagne, France
  • Nora Cuppens-Boulahia – ENST-Bretagne, France
Using Group Overlapping to Protect Server from Attack in Grid Computing
  • Byung-Ryong Kim – DongBang Data Technology Co. Ltd, South Korea
Presentation cancelled due to author's absence (without prior notification)
12:40 - 13:40 Lunch
13:40 - 14:55 Session VI: Coping with Change & Mobility
Chair: Erwin Schoitsch – ARC Seibersdorf Research, Austria
The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles
  • Andrzej Wardzinski – PROKOM Software, Poland
Demonstration of Safety in Healthcare Organisations
  • Mark-Alexander Sujan – University of York, UK
  • Michael Harrison – University of Newcastle, UK
  • Pauline Pearson – University of Newcastle, UK
  • Alison Steven – University of Newcastle, UK
  • Susan Vernon – University of Newcastle, UK
Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks
  • Won Jay Song – University of Virginia, USA
  • Moon Kyo Cho – Information and Communications University, South Korea
  • Im Sook Ha – Information and Communications University, South Korea
  • Mun Kee Choi – Information and Communications University, South Korea
14:55 - 15:20 Coffee Break
15:20 - 16:35 Session VII: Safety Analysis & Assessment
Chair: Odd Nordland – SINTEF, Norway
Assessment of Hazard Identification Methods for the Automotive Domain
  • Fredrik Torner – Volvo Car Corporation, Sweden
  • Per Johannessen – Volvo Car Corporation, Sweden
  • Peter Ohman – Chalmers University of Technology, Sweden
A Tool for Databus Safety Analysis Using Fault Injection
  • Dawid Trawczynski – Warsaw University of Technology, Poland
  • Janusz Sosnowski – Warsaw University of Technology, Poland
  • Janusz Zalewski – Florida Gulf Coast University, USA
Towards a Unified Model-Based Safety Assessment
  • Thomas Peikenkamp – Kuratorium OFFIS e.V., Germany
  • Antonella Cavallo – Alenia Aeronautica S.p.A., Italy
  • Laura Valacca – Societa' Italiana Avionica S.p.A., Italy
  • Eckard Bode – Kuratorium OFFIS e.V., Germany
  • Matthias Pretzer – Kuratorium OFFIS e.V., Germany
  • Moritz Hahn – Kuratorium OFFIS e.V., Germany
16:35 - 17:00 Coffee Break
17:00 - 17:45 Session VIII: Poster Session
Reliability Analysis of Resilient Packet Rings
  • Piotr Cholda – AGH University of Science and Technology, Poland
  • Jerzy Domzal – AGH University of Science and Technology, Poland
  • Andrzej Jajszczyk – AGH University of Science and Technology, Poland
  • Krzysztof Wajda – AGH University of Science and Technology, Poland
Experiences with the Design of a Run-Time Check
  • Meine van der Meulen – City University, London, UK
  • Miguel Revilla – University of Valladolid, Spain
Development of an Integrated, Risk-based Platform for Information and E-services Security
  • Andrzej Bialas – Institute of Control Systems, Poland
Using Agent-based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
  • Martin Hall-May – University of York, UK
  • Tim Kelly – University of York, UK
Verification of Automatic Train Protection Systems with RTCP-nets
  • Marcin Szpyrka – AGH University of Science and Technology, Poland
  • Tomasz Szmuc – AGH University of Science and Technology, Poland
18:00 - 19:00 Sponsors presentations (optional)
20:00 - 23:00 Conference Dinner

29.09.2006 (Friday) - Conference Day 3

9:00 - 9:45 Keynote IV: Ming-Yuh Huang – Boeing Phantom Works, Seattle, USA
Chair: Janusz Gorski – Gdansk University of Technology, Poland
True Challenges of 21st Century Information Security R&D

Today's information security is no longer about keeping people out; it's about letting people in - the right people, the right time, to the right resources. Modern social and business practices require us to work closely together via access to the computing infrastructure and the Internet. Once connected, each needs to be brought directly to the right resources. In this respect, information security today is the key "business-enabler" that propels the next-generation paradigm shift. Traditional way of looking at information security as a protecting and prohibiting technology is out of date. Boeing operates one of the largest computing infrastructures in the world executing complex global manufacturing, distributed collaborative engineering, massive virtual enterprise integration, as well as building highly complex large-scale defense and government systems. In this context, I like to share our perspectives on 21st century information security R&D issues and directions - what's catch-up vs. what's enabling, what's relevant vs. what's irrelevant.

Ming-Yuh Huang (who goes by "Huang") is a Boeing Technical Fellow responsible for managing Boeing's Strategic Information Assurance R&D Program to support the corporate enterprise as well as a wide array of large-scale commercial/military programs. Before joining Boeing in 1990, Huang was with DEC Research Artificial Intelligence Technology Center leading an expert system effort called ESSENSE (Expert System for Service Network Security) which led to one of world's earliest intrusion detection products - POLYCENTER ID. While with Boeing, Huang had led DARPA intrusion detection R&D project, co-authored IETF standard IDMEF Intrusion Detection Systems communication protocol in collaboration with IBM Research and US Air Force Information Warfare Center. He was the program-co-chair of RAID-1999 (International Symposium on Recent Advances in Intrusion Detection) at Purdue, and the general-chair of RAID-2005 at Seattle. He was also the program-chair of NATO Advanced Research Workshop "Cyber Security and Defense: Research Issues" at Gdansk, Poland in 2005, and the program-chair of SADFE-2005 (Systematic Approaches to Digital Forensic Engineering) at Taipei, Taiwan. Huang was twice invited by European Commission to help defining US/EU information security R&D collaboration framework. Huang received his B.S. in Physics in 1979, and did MS and Ph.D. study at University of Oregon Computer Science Department.

9:45 - 11:00 Session IX: 6th FP Integrated Project DECOS
Chair: Meine van der Meulen – MX.Systems, The Netherlands
Checking SCADE Models for Correct Usage of Physical Units
  • Rupert Schlick – ARC Seibersdorf research, Austria
  • Wolfgang Herzner – ARC Seibersdorf research, Austria
  • Thierry Le Sergent – Esterel Technologies, France
Validation & Certification of Safety-Critical Embedded Systems the DECOS Test Bench
  • Erwin Schoitsch – ARC Seibersdorf research, Austria
  • Egbert Althammer – ARC Seibersdorf research, Austria
  • Henrik Eriksson – Swedish National Testing and Research Institute (SP), Sweden
  • Jonny Vinter – Swedish National Testing and Research Institute (SP), Sweden
  • Laszlo Gonczy – Budapest University of Technology and Economics, Hungary
  • Andras Pataricza – Budapest University of Technology and Economics, Hungary
  • Gjorgy Csertan – Budapest University of Technology and Economics, Hungary
Encapsulating Application Subsystems Using the DECOS Core OS
  • Martin Schlager – TTTech Computertechnik AG, Austria
  • Wolfgang Herzner – ARC Seibersdorf research, Austria
  • Andreas Wolf – TTTech Computertechnik AG, Austria
  • Oliver Gruendonner – TTTech Computertechnik AG, Austria
  • Maximilian Rosenblattl – TTTech Computertechnik AG, Austria
  • Erwin Erkinger – TTTech Computertechnik AG, Austria
11:00 - 11:25 Coffee Break
11:25 - 12:40 Session X: Modelling
Chair: Werner Stephan – DFKI, Germany
Modeling the Railway Control Domain rigorously with a UML 2.0 Profile
  • Kirsten Berkenkotter – University of Bremen, Germany
  • Ulrich Hannemann – University of Bremen, Germany
Access Control Coherence of Information Systems Based on Security Constraints
  • Aneta Poniszewska-Maranda – Technical University of Lodz, Poland
Automatic Test Data Generation by Multi-Objective Optimisation
  • Norbert Oster – University of Erlangen-Nuremberg, Germany
  • Francesca Saglietti – University of Erlangen-Nuremberg, Germany
12:40 - 13:10 Invitation to SAFECOMP 2007
Francesca Saglietti – University of Erlangen-Nuremberg, Germany
13:10 - 13:20 Closing
Janusz Gorski – Gdansk University of Technology, Poland
Aleksander Jarzebowicz – Gdansk University of Technology, Poland
13:20 - 14:20 Lunch
Email webmaster © 2005-2006 Information Assurance Group (IAG)
Website template designed by Andreas Climent