Presentation Notices

Paper presentations are 20 minutes and 5 minutes for questions and discussions.

Technical Equipments (at the conference's hall)

WLAN and Internet Access

The conference venue is covered by a wireless local area network.
Furthermore, you can use computer terminals in the internet rooms at the conference venue.

Advance Program of ARES 2006 (April 20, 2006 - April 22, 2006)

April 20, 2006

8:00 - 9:00 Registration

9:00 - 9:15 Welcome and Opening Ceremony

ARES PC Co-Chair

9:15 - 10:55 Parallel Sessions:

Session A1: # Trust Management

1. Trust Based Risk Management for Distributed System Security - A New Approach.
Ching Lin (Macquarie University, Australia), Vijay Varadharajan (Macquarie University, Australia)

2. RATING: Rigorous Assessment of Trust in Identity Management.
Rajarajan Sampath (International University), Deepak Goel (Banaras Hindu University)

3. Provably secure anonymous access control for heterogeneous trusts.
Kilho Shin (The University of Tokyo), Hiroshi Yasuda (The University of Tokyo)

Session B1: # P2P Systems

1. A Secure Event Agreement (SEA) protocol for peer-to-peer games.
Amy Corman (University of Melbourne), Scott Douglas (University of Melbourne), Peter Schachte (University of Melbourne), Vanessa Teague (University of Melbourne)

2. Satisfiability and Trustworthiness of Peers in Peer-to-Peer Overlay Networks.
Yoshio Nakajima (Tokyo Denki University), Kenichi Watanabe (University of California, Irvine), Naohiro Hayashibara (Tokyo Denki University), Tomoya Enokido (Rissho University), Makoto Takizawa (Tokyo Denki University), S.Misbah Deen (University of Keele)

3. Tamper-resistant Replicated Peer-to-Peer Storage using Hierarchical Signatures.
Alexander Zangerl (Bond University)

4. Censorship-Resistant and Anonymous P2P Filesharing.
Regine Endsuleit (Universität Karlsruhe (TH)), Thilo Mie (Universität Karlsruhe (TH))

Session C1: # Mobile Network and Pervasive Systems

1. A Dependable Device Discovery Approach for Pervasive Computing Middleware.
Sheikh Ahamed (Marquette University, USA), Mohammad Zulkernine (Queen's University, Canada), Suresh Anamanamuri (arquette University, USA)

2. Single sign-on framework for AAA operations within commercial mobile networks.
Saber Zrelli (JAIST), Yoichi Shinoda (JAIST)

3. A Selector Method for Providing Mobile Location Estimation Services within a Radio Cellular Network.
Junyang Zhou (Department of Computer Science, Hong Kong Baptist University), Joseph Kee-Yin Ng (Department of Computer Science, Hong Kong Baptist University)

4. Guidelines for Biometric Recognition in Wireless System for Payment Confirmation.
Leon Grabensek (Prosum L.L.C)

Session D1: # BIOS Session

1. Grid Infrastructures for Secure Access to and Use of Bioinformatics Data: Experiences from the BRIDGES Project.
Richard Sinnott, M. Bayer, A. Stell, J. Koetsier

2. The Usability and Practicality of Biometric Authentication in the Workplace.
Carsten Maple, Peter Norrington

3. Building an Encrypted File System on the EGEE grid: Application to Protein Sequence Analysis.
Christophe Blanchet, G. Deléage, R. Mollon

10:55 - 11:15 Coffee Break

11:15 - 12:00 Keynote 1

Dr. Louis Marinos, ENISA Security Competence Department, Risk Management, Greece

12:00 - 12:15 Talk: Secure Business Austria – the Austrian Industry Competence Center for Security

Prof. Dr. A Min Tjoa, Director, Software Technology and Interactive Systems

12:15-13:15 Lunch

13:15-15:00 Parallel Sessions

Session A2: # Protocol and Communication

1. An Extended Verifiable Secret Redistribution Protocol for Archival Systems.
V.H. Gupta (Department of Computer Science and Automation, Indian Institute of Science, India), K.Gopinath (Department of Computer Science and Automation, Indian Institute of Science, India)

2. Analysis of Current VPN-Technologies.
Thomas Berger (Student University of Salzburg)

3. Integration of Quantum Cryptography in 802.11 networks.
Thi Mai Trang Nguyen (University of Lausanne), Mohamed Ali Sfaxi (University of Lausanne), Solange Ghernaouti-Hélie (University of Lausanne)

4. Availability Constraints for Avionic Data Buses.
Alban Gabillon (Université de Pau), Laurent Gallon (Université de Pau)

Session B2: #Security as Quality of Service

1. Securing DNS Services through System Self Cleansing and Hardware Enhancements.
Yih Huang (Department of Computer Science and Center for Image Analysis, George Mason University), David Arsenault (Department of Computer Science and Center for Image Analysis, George Mason University), Arun Sood (Department of Computer Science and Center for Image Analysis, George Mason University)

2. Personalized Security for E-Services.
George Yee (National Research Council Canada)

3. Providing Security Services in a Multiprotocol Service Discovery System for Ubiquitous Networks.
Juan Vera del Campo (Technical University of Catalonia), Josep Pegueroles (Technical University of Catalonia), Miguel Soriano (Technical University of Catalonia)

4. Towards a Stochastic Model for Integrated Security and Dependability Evaluation.
Karin Sallhammar (Q2S/NTNU), Bjarne Helvik (Q2S/NTNU), Svein Knapskog (Q2S/NTNU)

Session C2: # Networking & Fault Tolerance

1. A Novel Artificial-Immune-Based Approach for System-Level Fault Diagnosis.
Mourad Elhadef (School of Information Technology and Engineering, University of Ottawa, Ottawa, Canada), Shantanu Das (School of Information Technology and Engineering, University of Ottawa, Ottawa, Canada), Amiya Nayak (School of Information Technology and Engineering, University of Ottawa, Ottawa, Canada)

2. Evaluation of Network Robustness for Given Defense Resource Allocation Strategies.
C.-H. Chen (National Taiwan University), Y.-L. Lin (National Taiwan University), Y.-S. Lin (National Taiwan University), P.-H. Tsang (National Taiwan University), C.-L. Tseng (National Taiwan University)

3. Proxy Oblivious Transfer Protocol.
Gang Yao (State Key Laboratory of Information Security, Graduate School of CAS, Beijing, 100039, P.R.China), Dengguo Feng (State Key Laboratory of Information Security, Graduate School of CAS, Beijing, 100039, P.R.China)

Session D2: ISRM workshop

15:00 - 15:15 Coffee Break

15:15 - 17:20 Parallel Sessions

Session A3: # Identification and authentication

1. Providing Response Identity and Authentication in IP Telephony.
Feng Cao (Cisco Systems), Cullen Jennings (Cisco Systems)

2. Towards a framework of authentication and authorization patterns for ensuring availability in service composition.
Judith E. Y. Rossebø (Telenor R&D and Norwegian University of Science and Technology), Rolv Bræk (Norwegian University of Science and Technology)

3. An Optimal Round Two-Party Password-Authenticated Key Agreement Protocol.
Maurizio Adriano Strangio (University of Rome "TOR VERGATA")

4. A method for the identification of inaccuracies in the pupil segmentation.
Hugo Proença (Dept. Informatics, University of Beira Interior, Portugal), Luís Alexandre (Dept. Informatics, University of Beira Interior, Portugal)

5. Availability Enforcement by Obligations and Aspects Identification.
Frédéric Cuppens (ENST Bretagne), Nora Cuppens (ENST Bretagne), Tony Ramard (ENST Bretagne)

Session B3: # High Availability & Dependability

1. Framework for an integrative IT continuity approach to guarantee undisrupted business operations.
R.W. Helms (Utrecht University), S. van Oorschot (Utrecht University), J. Herweijer (Utrecht University), M. Plas (Getronics)

2. Highly Available and Cost-Efficient Adaptive Dynamic Quorum Schemes by Run-Time Variation of Replica Placement and Replication Degree.
Oliver Theel (Carl von Ossietzky University of Oldenburg), Christian Storm (Carl von Ossietzky University of Oldenburg)

3. High Availability support for the design of stateful networking equipments.
Pablo Neira Ayuso (University of Seville), Laurent Lefevre (ENS Lyon), Rafael M. Gasca (University of Seville)

4. A Hybrid Network Intrusion Detection Technique Using Random Forests.
Jiong Zhang (Queen's University), Mohammad Zulkernine (Queen's University)

5. Identifying Intrusions in Computer Networks Based on Principal Component Analysis.
Wei Wang (Department of Information and Communication Technology,University of Trento), Roberto Battiti (Department of Information and Communication Technology,University of Trento)

Session C3: #Reliability and Availability

1. Systematic Error Detection for RFID Reliability.
Sozo Inoue (Kyushu Univ.), Daisuke Hagiwara (Sony Global Solutions Inc.), Hiroto Yasuura (Kyushu Univ.)

2. Feasibility of Multi-Protocol Attacks.
Cas Cremers (Eindhoven University of Technology)

3. Diversity to Enhance Autonomic Computing Self-Protection.
Michael Jarrett (University of Waterloo), Rudolph Seviora (University of Waterloo)

4. Bayesian Reliability forecasting in complex hardware/software systems.
Javier Cano (URJC, Madrid, Spain), David Rios (URJC, Madrid, Spain)

5. Availability Modeling and Analysis on High Performance Cluster Computing Systems.
Hertong Song (Louisiana Tech U), Box Leangsuksun (Louisiana Tech U), Stephen Scott (ORNL)

Session D3: ISRM workshop (continue)

18:00 Bus trip to Klosterneuburg and Conference Dinner

=====================================================================

April 21, 2006

8:00 - 9:00 Registration

9:00 - 11:05 Parallel Sessions:

Session A4: #Security and Privacy Issue

1. Schedulability Driven Security Optimization in Real-time Systems.
Man Lin, Laurence T. Yang (St. Francis Xavier University, Canada)

2. Ensuring Privacy for E-Health Services.
George Yee (National Research Council Canada), Larry Korba (National Research Council Canada), Ronggong Song (National Research Council Canada)

3. The Security Issue of Federated Data Warehouses in the Area of Evidence-Based Medicine.
Nevena Stolba (Women’s Postgraduate College for Internet Technologies (WIT), Vienna University of Technology, Aus), Marko Banek (Department of Fundamentals of Electrical Engineering and Measurements, University of Zagreb, Croatia), A Min Tjoa (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria)

4. Secrecy forever? Analysis of Anonymity in Internet-based Voting Protocols.
Melanie Volkamer (German Research Center for Artificial Intelligence), Robert Krimmer (Wirtschaftsuniveristät Wien)

5. A Practical Framework for Dynamically Immunizing Software Security Vulnerabilities.
Zhiqiang Lin (Nanjing University), Bing Mao (Nanjing University), Li Xie (Nanjing University)

Session B4:# Security Management

1. A Study of Security Architectural Patterns.
David García Rosado (ALARCOS Research Group. Ciudad Real, Spain), Carlos Gutiérrez (ALARCOS Research Group. Ciudad Real, Spain), Eduardo Fernández-Medina (ALARCOS Research Group. Ciudad Real, Spain), Mario Piattini (ALARCOS Research Group. Ciudad Real, Spain)

2. Workshop-based Multiobjective Security Safeguard Selection.
Thomas Neubauer (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria), Christian Stummer (School of Business, Economics, and Statistics; University of Vienna, Austria), Edgar Weippl (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria)

3. Towards a Security Architecture for Vehicular Ad Hoc Networks.
Klaus Plößl (University of Regensburg), Thomas Nowey (University of Regensburg), Christian Mletzko ()

4. Improving Security Management through Passive Network Observation.
Yohann Thomas (France Télécom R&D), Hervé Debar (France Télécom R&D), Benjamin Morin (Supelec)

5. Secure Exchange of Modifiable Collections.
Serge Abiteboul (INRIA Futurs, France), Bogdan Cautis (INRIA Futurs, France), Amos Fiat (Tel Aviv University), Tova Milo (Tel Aviv University)

Session C4: (FARES) # IP Network & Adhoc Network

1. A lightweight model of trust propagation in a Multi-Client Network Environement. To what extent does Experience matter?
Marc Conrad (University of Luton), Tim French (University of Luton), Wei Huang (University of Luton), Carsten Maple (University of Luton)

2. Secure 3G User Authentication in Adhoc Serving Networks.
Arjan Durresi (Louisiana State University, USA), Vamsi Paruchuri (Louisiana State University, USA), Leonard Barolli (Fukuoka Institute of Technology, Japan)

3. Requirement Analysis for IP-based Government Emergency Telephony Service.
Feng Cao (), Saadat Malik ()

4. Inter-Domains Security Management Model (IDSM) for IP Multimedia Subsystem (IMS).
Muhammad Sher (TU Berlin / Fokus Fraunhofer Berlin Germany), Thomas Magedanz (TU Berlin / Fokus Fraunhofer Berlin Germany), Walter T. Penzhorn (University of Pretoria South Africa)

5. Privacy threats and issues in mobile RFID service.
Hyangjin Lee (Korea Information Security Agency), Jeeyeon Kim (Korea Information Security Agency)

Session D4: SEL Workshop

1. A Secure E-Exam Management System.
Jordi Castellà-Roca, Jordi Herrera-Joancomarti, and Aleix Dorca-Josa

2. Intra-Application Partitioning in an eLearning Environment - A Discussion of Critical Aspects.
Elke Franz and Katrin Borcea-Pfitzmann

3. Access Control in a Privacy-Aware eLearning Environment.
Elke Franz, Hagen Wahrig, Alexander Boettcher, and Katrin Borcea-Pfitzmann

4. Security mechanisms for a multiagent learning platform.
Carine Webber, Maria de Fátima W. do Prado Lima, Marcos E. Casa, and Alexandre M. Ribeiro

5. Unlocking Repositories: Federated Security Solution for Attribute and Policy Based Access to Repositories via Web Services.
Marek Hatala, Ty Mey (Timmy) Eap, and Ashok Shah

Session E4: DAS-P2P Workshop

1. Fair Trading of Information: A Proposal for the Economics of Peer-to-Peer Systems.
Kenji Saito (Keio University), Eiichi Morino (Gesell Research Society Japan), Jun Murai (Keio University)

2. Efficient Link Failure Detection and Localization using P2P-Overlay
Networks.
Emmert Barbara (Telecommunications Research Center Vienna, Austria), Binzenhfer Andreas (University of Wrzburg, Germany)

3. Replication Strategies for Reliable Decentralised Storage.
Matthew Leslie (Oxford University Computing Laboratory, Oxford University
Physics Dept), Jim Davies (Oxford University Computing Laboratory),
Todd Huffman (Oxford University Physics Dept)

Session F4: DAWAM Workshop

1. Offline Internet Banking Fraud Detection.
Vasilis Aggelis (WINBANK (PIRAEUSBANK SA))

2. Practical Approaches for Analysis, Visualization and Destabilizing Terrorist Networks.
Nasrullah Memon (SIS-RC, Aalborg University Denmark), Henrik Legind Larsen (SIS-RC, Aalborg University Denmark)

3. Representing security and audit rules for data warehouses at the logical level by using the Common Warehouse Metamodel.
Emilio Soler (Universidad de Matanzas (Cuba)), Juan Trujillo (Universidad de ALicante (Spain)), Rodolfo Villaroel (Universidad Catolica de Maule (Chile)), Eduardo Ferrandez-Medina (Universidad de Castilla La Mancha (Spain)), Mario Piattini (Universidad de Castilla La Mancha (Spain))

4. A 2^d-Tree-Based Blocking Method for Microaggregating Very Large Data Sets.
Agusti Solanas (Rovira i Virgili University), Antoni Martinez-Balleste (Rovira i Virgili University), Josep Domingo-Ferrer (Rovira i Virgili University), Josep M. Mateo-Sanz (Rovira i Virgili University)

Session G4: DILSOS Workshop

1. An Architecture for Service Discovery Based on Capability Matching.
Jaka Mocnik (XLAB d.o.o.), Piotr Karwaczynski (Wroclaw University of Technology)

2. A Declarative Control Language for Dependable XML Message Queues.
Alexander Böhm (University of Mannheim), Carl-Christian Kanne (University of Mannheim), Guido Moerkotte (University of Mannheim)

3. Timed Modelling and Analysis in Web Service Compositions.
Raman Kazhamiakin (DIT, University of Trento, via Sommarive 14, 38050, Trento, Italy), Paritosh Pandya (Tata Institute of Fundamental Research, Homi Bhabha Road, Colaba, Mumbai 400 005, India), Marco Pistore (DIT, University of Trento, via Sommarive 14, 38050, Trento, Italy)

4. Web Service Discovery, Replication, and Synchronization in Ad-Hoc Networks.
Lukasz Juszczyk (Vienna University Of Technology), Jaroslaw Lazowski (Vienna University Of Technology), Schahram Dustdar (Vienna University Of Technology)

5. Evaluating Certification Protocols in the Partial Database State Machine.
António Sousa (Univ. Minho), Alfrânio Correia Jr (Univ. Minho), Francisco Moura (Univ. Minho), José Pereira (Univ. Minho), Rui Oliveira (Univ. Minho)

11:05 - 11:25 Coffee Break

11:25 - 12:25 Keynote 2:

Prof. Andrew Steane, Centre for Quantium Computation, University of Oxford, UK

12:25 - 13:45 Lunch

13:45 - 14:45 Keynote 3:

Prof. David Basin, Information Security, Department of Computer Science, ETH Zurich, Switzerland

14:45 - 15:05: Coffee Break

15:05 - 17:10 Parallel Sessions

Session A5: # Distributed Systems

1. A System Architecture for Enhanced Availability of Tightly Coupled Distributed Systems.
Johannes Osrael (Vienna University of Technology), Lorenz Froihofer (Vienna University of Technology), Karl M. Goeschka (Vienna University of Technology), Stefan Beyer (Universidad Politecnica de Valencia), Pablo Galdamez (Universidad Politecnica de Valencia), Francesc Munoz (Universidad Politecnica de Valencia)

2. DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems.
Stefan Beyer (Instituto Tecnológico de Informática), Alexander Sánchez (Instituto Tecnológico de Informática), Francesc Muñoz-Escoí (Instituto Tecnológico de Informática), Pablo Galdámez (Instituto Tecnológico de Informática)

3. Defense trees for economic evaluation of security investments.
Stefano Bistarelli (Dipartimento di Scienze - Universita' degli Studi "G. d'Annunzio", Pescara, Italy), Fabio Fioravanti (Dipartimento di Scienze - Universita' degli Studi "G. d'Annunzio", Pescara, Italy), Pamela Peretti (Dipartimento di Scienze - Universita' degli Studi "G. d'Annunzio", Pescara, Italy)

4. Proposed Framework for Achieving Interoperability Between European Public Administrations.
Amir Hayat (Institute of Applied Information Processing and Communication, Graz Univ. of Technology), Muhammad Alam (Research Group ”Quality Engineering”, Universität Innsbruck), Thomas Roessler (Institute of Applied Information Processing and Communication, Graz Univ. of Technology)

5. Gait Recognition Using Acceleration from MEMS.
Davrondzhon Gafurov (Gjovik University College), Kirsi Helkala (Gjovik University College), Torkjel Søndrol (Gjovik University College)

Session B5: # Software Security & Dependability

1. Making Web Services Dependable.
Louise Moser (University of California, Santa Barbara), P. Michael Melliar-Smith (University of California, Santa Barbara), Wenbing Zhao (Cleveland State University)

2. A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.
John Andrews (Loughborough University), Rasa Remenyte (Loughborough University)

3. Secure Business Process Management: A Roadmap.
Thomas Neubauer (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria)

4. Supporting Attribute-based Access Control with Ontologies.
Torsten Priebe (Capgemini), Wolfgang Dobmeier (University of Regensburg), Nora Kamprath (University of Regensburg)

5. Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets.
Calin Ciufudean (University of Suceava, Romania), Adrian Graur (University of Suceava, Romania), Constantin Filote (University of Suceava, Romania), Cornel Turcu (University of Suceava, Romania), Valentin Popa (University of Suceava, Romania)

Session C5: (FARES) # Wireless & Sensor Network

1. A Framework of Survivability Model for Wireless Sensor Network.
Dong S. Kim (Hankuk Aviation University), Jong S. Park (Hankuk Aviation University)

2. Mitigating Denial of Service Threats in GSM Networks.
Valer BOCAN (Politehnica University of Timi?oara, ROMANIA), Vladimir CRETU (Politehnica University of Timi?oara, ROMANIA)

3. Achieving Availability and Reliability in Wireless Sensor Networks Applications.
Amirhosein Taherkordi (Computer Engineering Department, Iran University of Science and Technology), Majid Alkaee Taleghan (Computer Engineering Department, Iran University of Science and Technology), Mohsen Sharifi (Computer Engineering Department, Iran University of Science and Technology)

4. Secure Enhanced Wireless Transfer Protocol.
J. C. Lin (jclin@ttu.edu.tw), Yu-Hsin Kao (hebe@dlit.edu.tw)

Session D5: Industrial Track

Session E5: DAS-P2P Workshop (cont.)

1. The Multipath Key Exchange on P2P Networks.
Yuuki Takano (JAIST), Naoki Isozaki (JAIST), Yoichi Shinoda (JAIST)

2. Ecosystem of Naming Systems: Discussions on a Framework to Induce Smart Space Naming Systems Development.
Yusuke DOI (Corporate R&D Center, Toshiba Corporation), Shirou WAKAYAMA (Corporate R&D Center, Toshiba Corporation), Masahiro ISHIYAMA (Corporate R&D Center, Toshiba Corporation), Satoshi OZAKI (Corporate R&D Center, Toshiba Corporation), Tomohiro ISHIHARA (Graduate School of Media and Governance, Keio University), Yojiro UO (IIJ Research Laboratory)

3. Defending the Sybil Attack in P2P Networks: Taxonomy, Challenges, and a Proposal for Self-Registration.
Jochen Dinger (University of Karlsruhe (TH)), Hannes Hartenstein (University of Karlsruhe (TH))

4. Deriving Ratings Through Social Network Structures.
Omer Rana (Cardiff University), Hameeda Alshabib (Glamorgan University), Ali ShaikhAli (Cardiff University)

Session F5: DAWAM Workshop (cont.)

1. A Bayesian Averaging Model for Estimating the Reliability of Decisions When Data Mining Multimodal Biometric Data.
Vitaly Schetinin (Institute for Research in Applicable Computing, University), Carsten Maple (Institute for Research in Applicable Computing, University)

2. On Efficiency and Data Privacy Level of Association Rules Mining Algorithms within Parallel Spatial Data Warehouse.
Marcin Gorawski (Institute of Computer Science,.Silesian University of Technology,Poland), Karol Stachurski (.Institute of Computer Science,.Silesian University of Technology,Poland)

3. Depdendability in Data Mining: A Perspective from the Cost of Making Decisions.
H. Michael Chung (CSULB)

=====================================================================

April 22, 2006

8:00 - 9:00 Registration

9:00 - 10:40 Parallel Sessions:

Session A6: (FARES) # Authentication & authorization

1. Quality of Password Management Policy.
Carlos Villarrubia (University of Castilla-La Mancha), Eduardo Fernández-Medina (University of Castilla-La Mancha), Mario Piattini (University of Castilla-La Mancha)

2. A Proposal of An Anonymous Authentication Method For Flat-rate Service.
Yoshio KAKIZAKI (Graduate School of Science and Technology, Tokai University Unified Graduate School), Hiroshi YAMAMOTO (School of Information Technology and Electronics, Tokai University), Hidekazu TSUJI (School of Information Technology and Electronics, Tokai University)

3. RECOVERY MECHANISM OF ONLINE CERTIFICATE CHAIN IN GRID COMPUTING.
MingChu LI (Dalian Univ. of Tech), Jianbo MA (Tianjin Univ)

Session B6: (FARES) # Trust Management & Recovery

1. Recovery Mechanism of Cooperative Process Chain in Grid.
MingChu LI (), Hongyan Yao ()

2. PKI Trust Relationships: from a Hybrid Architecture to a Hierarchical Model.
Cristina Satizábal (Technical University of Catalonia (Spain) and Pamplona University(Colombia)), Rafael Páez (Technical University of Catalonia (Spain)), Jordi Forné (Technical University of Catalonia (Spain))

3. Run Time Detection of Covert Channels.
Naoyuki Nagatou (Tokyo Institute of Technology), Takuo Watanabe (Tokyo Institute of Technology)

Session C6: (FARES)# Secure Information System

1. Practical Approach of a Secure Management System based on ISO/IEC 17799.
Luis Enrique Sanchez (SICAMAN NT), Daniel Villafranca (SICAMAN NT), Eduardo Fernandez-Medina (UCLM), Mario Piattini (UCLM)

2. Testing Complex Business Process Solutions.
Gerd Saurer (Senactive IT Dienstleistungs GmbH), Josef Schiefer (Senactive IT Dienstleistungs GmbH), Alexander Schatten (Institute for Software Technology and Interactive Systems)

3. Towards Resource Management Continuity Using Constraint Inheritance Relation.
Zude Li (Institute of Information System and Engineering, School of Software, Tsinghua University, Beijing), Guoqiang Zhan (Institute of Information System and Engineering, School of Software, Tsinghua University, Beijing), Xiaojun Ye (Institute of Information System and Engineering, School of Software, Tsinghua University, Beijing)

4. Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance.
Jingde Cheng (Saitama University), Junichi Miura (Saitama University)

Session D6: (FARES)# Availability

1. Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems.
Jingde Cheng (Saitama University).

2. Active/Active Replication for Highly Available HPC System Services.
Christian Engelmann (), Stephen L. Scott (), Chokchai (Box) Leangsuksun (), Xubin (Ben) He ()

3. On the Reliability of Web Clusters with Partial Replication of Contents.
Jose Daniel Garcia (Universidad Carlos III de Madrid), Jesus Carretero (Universidad Carlos III de Madrid), Felix Garcia (Universidad Carlos III de Madrid), Alejandro Calderon (Universidad Carlos III de Madrid), Javier Fernandez (Universidad Carlos III de Madrid), David E. Singh (Universidad Carlos III de Madrid)

4. RELIABILITY MODELING STRATEGY OF AN INDUSTRIAL SYSTEM.
Syed Rizwan (Department of Mathematics and Science, Caledonian (University) College of Engineering, Oman), Dr Ramachandran KP (Caledonian (University) College of Engineering, Oman)

Session E6: DeSeGov Workshop

1. E-voting: Dependability Requirements and Design for Dependability.
Jeremy Bryans (School of Computing Science , University of Newcastle), Bev Littlewood (Centre for Software Reliability, City University), Peter Ryan (School of Computing Science , University of Newcastle), Lorenzo Strigini (Centre for Software Reliability, City University)

2. Using Security Ontologies for the development of secure e-government applications.
M. Karyda, T. Balopoulos, S. Dritsas, L. Gymnopoulos, S. Kokolakis, C. Lambrinoudakis, S. Gritzalis

3. Defining Criteria for Rating an Entity’s Trustworthiness Based on Its Certificate Policy.
Omar Batarfi (School of Computing Science, University of Newcastle upon Tyne), Lindsay Marshall (School of Computing Science, University of Newcastle upon Tyne)

4. Designing mutual-aid model for RAQ(Rarely Asked Question) in e-government: Practical use of anonymity.
Akiko Orita (Keio Univ)

Session F6: BND Workshop

1. Modelling the Reliability of Search and Rescue Operations within the UK Through Bayesian Belief Networks.
Ashley Russell (University of Strathclyde), John Quigley (University of Strathclyde), Robert van der Meer (University of Strathclyde)

2. Computing Multiple Diagnoses in Large Devices Using Bayesian Networks.
Véronique Delcroix (LAMIH - university of Valenciennes), Mohamed-Amine Maalej (LAMIH - university of Valenciennes), Sylvain Piechowiak (LAMIH - university of Valenciennes)

3. Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool.
Stefania Montani (University of Piemonte Orientale), Luigi Portinale (University of Piemonte Orientale), Andrea Bobbio (University of Piemonte Orientale), Daniele Codetta-Raiteri (University of Piemonte Orientale)

4. An innovating application of Bayesian Networks : global environmental risk assessment of the cold source system of a nuclear power plant [#47], by ANNE DUTFOY (EDF R&D Industrial Risk Management Department), SANDRINE PIERLOT (EDF R&D Industrial Risk Management Department), GILLES DELEUZE (EDF R&D Industrial Risk Management Department)

10:40 - 11:00 Coffee Break

11:00 - 12:15 Parallel Sessions

Session A7: (FARES) # Software Security 1

1. Towards an Integrated Conceptual Model of Security and Dependability.
Erland Jonsson (Chalmer University, Sweeden)

2. A Comparison of the Common Criteria with Proposals of Information Systems Security Requirements.
Daniel Mellado (Ministry of Work and Social Affairs. Quality, Auditing and Security Institute (Madrid, Spain)), Eduardo Fernández-Medina (University of Castilla-La Mancha, Information Systems and Technologies Department (Spain)), Mario Piattini (University of Castilla-La Mancha, Information Systems and Technologies Department (Spain))

3. Secure and Reliable Java-Based Middleware - Challenges and Solutions.
Walter Binder (EPFL)

Session B7: (FARES) # Software Security 2
1. Integrating Security Requirement with a UML 2.0 Profile.
Alfonso Rodriguez (Universidad del Bio Bio, Chile), Eduardo Fernández-Medina (ALARCOS Research Group, Spain), Mario Piattini (ALARCOS Research Group, Spain)

2. Representing levels of abstraction to facilitate the Secure Multidimensional Modeling.
Rodolfo Villarroel (Catholic University of Maule (Chile)), Emilio Soler (University of Matanzas (Cuba)), Eduardo Fernández-Medina (University of Castilla-La Mancha (Spain)), Juan Trujillo (University of Alicante), Mario Piattini (University of Castilla-La Mancha)

3. Modeling Permissions in a (U/X)ML world.
Muhammad Alam (Institut für Informatik Universität Innsbruck), Ruth Breu (Institut für Informatik Universität Innsbruck), Michael Hafner (Institut für Informatik Universität Innsbruck)

Session C7: (FARES) # Safety & Security

1. Application of The Digraph Method in Fault Diagnostics.
Emma Kelly (Aeronautical and Automotive Engineering Department, Loughborough University), Lisa Bartlett (Aeronautical and Automotive Engineering Department, Loughborough University)

2. No Risk is Unsafe: Simulated Results on Dependability of Complementary Currencies.
Kenji Saito (Keio University), Eiichi Morino (Gesell Research Society Japan), Jun Murai (Keio University)

3. Sandboxing in myKlaim.
Rene Rydhof Hansen (Technical University of Denmark), Christian W. Probst (Technical University of Denmark), Flemming Nielson (Technical University of Denmark)

Session D7:(FARES) # E-commerce & E-Government

1. A Reference Model for Authentication- and Authorisation Infrastructures Respecting Privacy and Flexibility in b2c eCommerce.
Christian Schläger (University of Regensburg), Thomas Nowey (University of Regensburg), Jose A. Montenegro (University of Malaga)

2. Achieving Fairness and Timeliness in a Previous Electronic Contract Signing Protocol.
Magdalena Payeras-Capellà (University of the Balearic Islands), Josep Lluís Ferrer-Gomila (University of the Balearic Islands), Llorenç Huguet-Rotger (University of the Balearic Islands)

3. Digital Signatures with Familiar Appearance for e-Government Documents: Authentic PDF.
Thomas Neubauer (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria), Edgar Weippl (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria), Stefan Biffl (Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria)

Session E7: DeSeGov Workshop (cont.)

1. Maintaining data-integrity in the backoffice registries of cities; a survey on organisational barriers and ways to address those.
Rob Peters (University of Amsterdam and Zenc), Marco Meesters (Zenc), Pim Jorg (Zenc), Edwin Stuart (Zenc), Marcel Hoogwout (University of Tilburg)

2. Choosing the Right Wireless LAN Security Protocol for the Home and Business User.
Carsten Maple (University of Luton), Helen Jacobs (University of Luton), Matthew Reeve (Modern Networks)

3. A Component Based Software Architecture for E-Government.
Raphael Kunis (Chemnitz University of Technology), Daniel Beer (Chemnitz University of Technology), Gudula Rünger (Chemnitz University of Technology)

4. Building governments in e-government: settlement of dependable trust roots.
Semir Daskapan (researcher)

Session F7: BND Workshop (cont.)

1. Modelling Dependable Systems using Hybrid Bayesian Networks.
Martin Neil (Agena and Queen Mary), Manesh Tailor (Agena), David Marquez (Queen Mary), Norman Fenton (Agena and Queen Mary), Peter Hearty (Queen Mary)

2. Multi-Agent Causal Models for Dependability Analysis.
Sam Maes (PSI, INSA Rouen), Philippe Leray (PSI, INSA Rouen)

3. Bayesian Networks Implementation of Dempster Shafer Theory to Model Reliability Uncertainty.
christophe SIMON (CRAN UMR 7039, CNRS-UHP-INPL), Philippe WEBER (CRAN UMR 7039, CNRS-UHP-INPL)

=====================================================================

Presentation Notices
Paper presentations are 20 minutes and 5 minutes for questions and discussions.

Technical Equipment
Laptop Computer
LCD/Data Projector
CD/DVD ROM Drive
USB Flash Drive