DepCoS-RELCOMEX Los Alamitos, California. Washington Tokyo

Size: px

Start display at page:

Download "DepCoS-RELCOMEX Los Alamitos, California. Washington Tokyo"

Conrad Terry
5 years ago
Views:

1 DepCoS-RELCOMEX 2006 Los Alamitos, California Washington Tokyo

2 Copyright 2006 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number P2565 ISBN: ISBN 13: Library of Congress Number Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: csbooks@computer.org customer-service@ieee.org Fax: tokyo.ofc@computer.org Individual paper REPRINTS may be ordered at: reprints@computer.org Editorial production by Silvia Ceballos Cover art production by Alex Torres The DepCoS logo and cover design by Tomasz Zamojski Printed in the United States of America by Applied Digital Imaging IEEE Computer Society Conference Publishing Services

3 DepCoS-RELCOMEX 2006 Table of Contents Program Committee...ix Organizing Committee...x Preface...xi MODELING UML Based Reverse Engineering for the Verification of Railway Control Logics... 3 Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, and Angela Sanseviero Compatibility of Software Components - Modeling and Verification D. C. Craig and W. M. Zuberek Feasibility Analysis of MDA-Based Database Design Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, and Lech Tuzinkiewicz Embedded Systems Modeling Language Artur Krystosik State Model of Service Reliability Z. Lipi ski Partially Automatic Generation of Fault-Trees with Time Dependencies Jan Magott and Pawel Skrobanek Formal Semantics and Reasoning about UML Class Diagram Marcin Szlenk METHODOLOGY AND TOOLS Information Security Systems vs. Critical Information Infrastructure Prorection Systems - Similarities and Differences Andrzej Bialas Security Level Estimation as a Function of Residual Risks Radoslaw Brendel and Henryk Krawczyk Enhancing Fault Injection Testbench J. Sosnowski, P. Gawkowski, P. Zygulski, and A. Tymoczko

4 Hazard Prevention by Forced Time Constraints Grzegorz Golaszewski and Janusz Górski An Approach for Evaluating Trust in IT Infrastructure Marek Zagórski and Janusz Górski Introduction to the Dependability Modeling of Computer Systems Wojciech Zamojski and Dariusz Caban DEPENDABILITY OF COMPUTER NETWORKS Survey of Recovery Schemes in MPLS Networks Luísa Jorge and Teresa Gomes d-hmac Dynamic HMAC Function Mohannad Najjar and Firas Najjar Security Aspects of SCADA and Corporate Network Interconnection: An Overview Paulo S. Motta Pires and Luiz Affonso H.G. Oliveira Building Dependable Intrusion Prevention Systems Jakub Botwicz, Piotr Sapiecha, and Piotr Buciak Bandwidth Control in Redundant News Server Links Tomasz R. Surmacz Fault-Tolerant Topological Design for Computer Networks Ewa Szlachcic SOFTWARE SECURITY AND RELIABILITY Selecting Technology for Disaster Recovery Rafa Cegie a Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems Jan-Thomas Czornack, Carsten Trinitis, and Max Walter Applying Software Rejuvenation in a Two Node Cluster System for High Availability V. P. Koutras and A. N. Platis Security of Web Services H. Krawczyk and M. Wielgus Model-Based Automatic Test Generation for Event-Driven Embedded Systems Using Model Checkers Zoltán Micskei and István Majzik

5 An Empirical Study of Specification-Based Program Review Approach Fumiko Nagoya, Yuting Chen, and Shaoying Liu Normalization as a Preprocessing Engine for Data Mining and the Approach of Preference Matrix Luai Al Shalabi and Zyad Shaaban Evaluation of Dependability of Multi-tier Internet Business Applications with Queueing Networks Andrzej Zalewski and Andrzej Ratkowski Security Enhancement of Java Remote Method Invocation Dominik Zalewski MULTI AGENT SYSTEMS Byzantine Fault Tolerance for Agent Systems Tadashi Araragi CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack Velik Bellemin and Tadashi Araragi A Distributed Intrusion Detection Framework Based on Autonomous and Mobile Agents Dalila Boughaci, Habiba Drias, Ahmed Bendib, Youcef Bouzni, and Belaid Benhamou A Distributed Firewall Using Autonomous Agents Dalila Boughaci, Habiba Drias, Brahim Oubeka, Abdelkader Aissioui, and Belaid Benhamou A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management I-Hsin Chou and Chin-Feng Fan FAULT TOLERANCE IN DIGITAL SYSTEMS Self-Dual Modules in Design of Dependable Digital Devices Janusz Biernat Low-Cost and Universal Secure Scan: A Design-for-Test Architecture for Crypto Chips Marcin Gomolkiewicz, Maciej Nikodem, and Tadeusz Tomczak CAD Software for Designing of Totally Self Checking Sequential Circuits Jerzy W. Greblicki Residue Arithmetic in FPGA Matrices Tadeusz Tomczak

6 APPLICATIONS Risk Assessment Tool for Maintenance Selection George J. Anders and Jaroslaw Sugier Securing of Integrated Protection of Technical Information by Application of Special Engineering Decisions Oleg Berestnev and Evgeniy Haritonov A Multi-tier Architecture to Safely Share Digital Medical Images Samia Boucherkha and Mohamed Benmohamed Digital Instrumental and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Swu Yih, Yi-Bin Chen, Yen-Chang Tzeng, Cherng-Tsong Kuo, Chan-Fu Chuang, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Chun-Yu Chen, and Wan-Tsz Tu A Fault Tolerant Optimization Algorithm Based on Evolutionary Computation Francisco Fernández de Vega Efficiency of Reliability Evaluation of LargeElectric Power Systems B. Kalinowski and George Anders Estimation of Impact of Maintenance Policies on Equipment Risk of Failure Henryk Maciejewski and George Anders Computer Modeling and Simulation of Discrete Transport System with Dispatcher for Reliability and Economic Analysis Jacek Mazurkiewicz and Tomasz Walkowiak Fuzzy Approach to Economic Analysis of Dispatcher Driven Discrete Transport systems Tomasz Walkowiak and Jacek Mazurkiewicz Conception of Composing Learning Content into Learning Tree to Ensure Reliability of Learning Material Marek Woda Author Index

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,