The Community for Technology Leaders
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) (2013)
Budapest, Hungary
June 24, 2013 to June 27, 2013
ISSN: 2325-6648
ISBN: 978-1-4799-0181-4
TABLE OF CONTENTS

Message from the general chair (PDF)

Andras Pataricza , Budapest University of Technology and Economics, Hungary
pp. 1

Message from the PDS program chair (PDF)

Peter Kemper , College of William and Mary, USA
pp. 1

Sponsors (PDF)

pp. 1

Workshop on reliability and security data analysis RSDA 2013 (Abstract)

Catello Di Martino , Coordinated Science Laboratory, University of Illinois at Urbana Champaign, 61801, USA
Antonio Pecchia , Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione (DIETI), Università degli Studi di Napoli Federico II, via Claudio 21, 80125, Italy
Jon Stearley , Sandia National Laboratories, Scalable Systems Architecure, Albuquerque, NM 87111 USA
pp. 1-2

Data fusion-base anomay detection in networked critical infrastructures (Abstract)

Bela Genge , Institute for the Protection and Security of the Citizen, Joint Research Centre, Via E. Fermi 2749, Ispra (VA), Italy
Christos Siaterlis , Institute for the Protection and Security of the Citizen, Joint Research Centre, Via E. Fermi 2749, Ispra (VA), Italy
Georgios Karopoulos , Institute for the Protection and Security of the Citizen, Joint Research Centre, Via E. Fermi 2749, Ispra (VA), Italy
pp. 1-8

Investigating DNS traffic anomalies for malicious activities (Abstract)

Fyodor Yarochkin , Department of Electrical Engineering, National Taiwan University, No. 1, Sec. 4, Roosvelt Road, Taipei, 10617 Taiwan
Vladimir Kropotov , Department of Electrical Engineering, National Taiwan University, No. 1, Sec. 4, Roosvelt Road, Taipei, 10617 Taiwan
Yennun Huang , Department of Electrical Engineering, National Taiwan University, No. 1, Sec. 4, Roosvelt Road, Taipei, 10617 Taiwan
Guo-Kai Ni , Department of Electrical Engineering, National Taiwan University, No. 1, Sec. 4, Roosvelt Road, Taipei, 10617 Taiwan
Sy-Yen Kuo , Department of Electrical Engineering, National Taiwan University, No. 1, Sec. 4, Roosvelt Road, Taipei, 10617 Taiwan
Ing-Yi Chen , Department of Computer Science and Information Engineering, National Taipei University of Technology, No.1, Sec. 3, Zhongxiao E. Rd., 10608, Taiwan
pp. 1-7

Scalable security analysis in hierarchical attack representation model using centrality measures (Abstract)

Jin B. Hong , Computer Science and Software Engineering Dept., University of Canterbury, Christchurch, New Zealand
Dong Seong Kim , Computer Science and Software Engineering Dept., University of Canterbury, Christchurch, New Zealand
pp. 1-8

Automatic collection of failure data from the iOS platform (Abstract)

Marcello Cinque , Dpt. of Electrical Engineering and Information Technology, DIETI, University of Naples Federico II, Via Claudio 21, 80125, Italy
Domenico Cotroneo , Dpt. of Electrical Engineering and Information Technology, DIETI, University of Naples Federico II, Via Claudio 21, 80125, Italy
Carlos Rodriguez-Dominguez , Dpt. of Computer Languages and Systems, ETSIIT, University of Granada, C/ P. D. Saucedo Aranda S/N, 18071, Spain
Jose Luis Garrido , Dpt. of Computer Languages and Systems, ETSIIT, University of Granada, C/ P. D. Saucedo Aranda S/N, 18071, Spain
pp. 1-8

Towards evaluating the impact of data quality on service applications (Abstract)

Naghmeh Ivaki , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
Nuno Laranjeiro , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
Marco Vieira , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
pp. 1-7

Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues (Abstract)

Gizelle Sandrini Lemos , Institute of Computing, University of Campinas - SP - Brazil
Eliane Martins , Institute of Computing, University of Campinas - SP - Brazil
pp. 1-8

Reducing service failures by failure and workload aware load balancing in SaaS clouds (Abstract)

Arpan Roy , Infosys Labs, Electronic City, Bangalore 560100, India
Rajeshwari Ganesan , Infosys Labs, Electronic City, Bangalore 560100, India
Dinesh Dash , Infosys Labs, Electronic City, Bangalore 560100, India
Santonu Sarkar , Infosys Labs, Electronic City, Bangalore 560100, India
pp. 1-6

Storage-efficient data replica number computation for multi-level priority data in distributed storage systems (Abstract)

Chris X. Cai , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Cristina L. Abad , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Roy H. Campbell , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
pp. 1-7

Predicting job completion times using system logs in supercomputing clusters (Abstract)

Xin Chen , Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, V6T1Z4, Canada
Charng-Da Lu , Buffalo, NY 14214, USA
Karthik Pattabiraman , Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, V6T1Z4, Canada
pp. 1-8

Reliable mission deployment in vulnerable distributed systems (Abstract)

Massimiliano Albanese , George Mason University, Fairfax, VA, USA
Sushil Jajodia , George Mason University, Fairfax, VA, USA
Ravi Jhawar , Università degli Studi di Milano, Crema, Italy
Vincenzo Piuri , Università degli Studi di Milano, Crema, Italy
pp. 1-8

Practical Experiences with real-world systems: Security in the world of reliable and safe systems (Abstract)

Nuno Silva , ASD, Critical Software S.A., Coimbra, Portugal
Rui Lopes , Aeronautics, Space and Defense, Critical Software S.A., Coimbra, Portugal
pp. 1-5

Interoperability in fingerprint recognition: A large-scale empirical study (Abstract)

Luca Lugini , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WVU (USA)
Emanuela Marasco , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WVU (USA)
Bojan Cukic , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WVU (USA)
Ilir Gashi , Centre for Software Reliability, City University London, United Kingdom
pp. 1-6

SAFE: Shoulder-surfing attack filibustered with ease (Abstract)

Narayan Gowraj , Department of Information Technology, Madras Institute of Technology, Anna University, Chennai, India
Srinivas Avireddy , Department of Information Technology, Madras Institute of Technology, Anna University, Chennai, India
Prasanna Venkatesh Ravi , Department of Information Technology, Madras Institute of Technology, Anna University, Chennai, India
Raghav Babu Subramanian , Department of Information Technology, Madras Institute of Technology, Anna University, Chennai, India
Sruthi Prabhu , Department of Computer Technology, Madras Institute of Technology, Anna University, Chennai, India
pp. 1-7

A framework for runtime V&V in business-critical Service Oriented Architectures (Abstract)

Cristiana Areias , Department of Informatics Engineering, University of Coimbra - Portugal
pp. 1-4

BARLEY: Modelling program behavior with resource usage (Abstract)

Kevin Leach , Center for Secure Information Systems, George Mason University, Fairfax, VA 22030, USA
pp. 1-4

Fault-tolerant broadcast algorithms for the virtual hypercube topology (Abstract)

Luiz A. Rodrigues , Western Paraná State University (UNIOESTE), Department of Computer Science, Brazil
pp. 1-4

Detecting and tolerating data corruptions due to device driver defects (Abstract)

Francesco Fucci , Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione (DIETI), Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Italy
pp. 1-4

IOCheck: A framework to enhance the security of I/O devices at runtime (Abstract)

Fengwei Zhang , Center for Secure Information Systems, George Mason University, Fairfax, VA 22030, USA
pp. 1-4

2nd workshop on open resilient human-aware cyber-physical systems (Abstract)

Mohamed Kaaniche , CNRS, LAAS, 7 avenue du colonel Roche, F-31400, Toulouse, France
Michael Harrison , Queen Mary University of London, UK
Hermann Kopetz , Vienna University of Technology, Austria
Daniel Siewiorek , Carnegie Mellon University, USA
pp. 1-2

Keynote: Toward vehicle automation ADAS, the new challenges (Abstract)

Serge Boverie , R&D innovation Manager, Senior Expert, Continental Automotive France, 1 avenue Paul Ourliac, BP 83649, 31036 Toulouse Cedex1, France
pp. 1

Autonomous Emergency Braking: A System-of-Systems perspective (Abstract)

Hermann Kopetz , Institut für Technische Informatik, Vienna University of Technology, 1040, Austria
Stephan Poledna , TTTech, Schönbrunnerstraße 7, 1040 Vienna Austria
pp. 1-7

Keynote: Detecting cognitive state for operators of cyber-physical systems: Design of experiments (Abstract)

Roy Maxion , Computer Science Department, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 USA
pp. 1

Survey on security threats and protection mechanisms in embedded automotive networks (Abstract)

Ivan Studnia , Renault S.A.S., 1 Avenue du Golf, F-78288 Guyancourt, France
Vincent Nicomette , CNRS, LAAS, 7 Avenue du colonel Roche, F-31400 Toulouse, France
Eric Alata , CNRS, LAAS, 7 Avenue du colonel Roche, F-31400 Toulouse, France
Yves Deswarte , CNRS, LAAS, 7 Avenue du colonel Roche, F-31400 Toulouse, France
Mohamed Kaaniche , CNRS, LAAS, 7 Avenue du colonel Roche, F-31400 Toulouse, France
Youssef Laarouchi , Renault S.A.S., 1 Avenue du Golf, F-78288 Guyancourt, France
pp. 1-12

On reliability analysis of leader election protocols for virtual traffic lights (Abstract)

Negin Fathollahnejad , Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden
Emilia Villani , Dept. of Mechanical Engineering, Instituto Tecnologico de Aeronautica ITA, Sao Jose dos Campos SP, Brazil
Risat Pathan , Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden
Raul Barbosa , Dept. of Informatics Engineering, University of Coimbra, Portugal
Johan Karlsson , Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden
pp. 1-12

The KARYON project: Predictable and safe coordination in cooperative vehicular systems (Abstract)

Antonio Casimiro , University of Lisboa, Portugal
Jorg Kaiser , Otto-von-Guericke Univ. Magdeburg, Germany
Elad M. Schiller , Chalmers Univ. of Tech., Sweden
Pedro Costa , GMVIS SKYSOFT, Portugal
Jose Parizi , EMBRAER SA, Brasil
Rolf Johansson , SP AB, Sweden
Renato Librino , 4S SRL, Italy
pp. 1-12

Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance (Abstract)

Josef Nilsson , SP Technical Research Institute of Sweden, Box 857, SE-501 15 Borås, Sweden
Niklas Strand , VTI Swedish National Road and Transport Research Institute, Box 8077, SE-402 78 Göteborg, Sweden
Paolo Falcone , Department of Signals and Systems, Chalmers University of Technology, SE-412 96 Göteborg, Sweden
Jonny Vinter , SP Technical Research Institute of Sweden, Box 857, SE-501 15 Borås, Sweden
pp. 1-10

Towards Systems Resilience (Abstract)

Hiroshi Maruyama , Trans-disciplinary Research Integration Center, The Research Organization of Information and Systems, Tokyo, Japan
pp. 1-4

FORISK: Formalizing information security risk and compliance management (Abstract)

Stefan Fenz , Vienna University of Technology, Austria
Thomas Neubauer , Vienna University of Technology, Austria
Rafael Accorsi , University of Freiburg, Germany
Thomas Koslowski , University of Freiburg, Germany
pp. 1-4

Key issues in service systems resilience (Abstract)

Kazuo Furuta , Department of Systems Innovation, Graduate School of Engineering, The University of Tokyo, Japan
Taro Kanno , Department of Systems Innovation, Graduate School of Engineering, The University of Tokyo, Japan
pp. 1-4

Model-based evaluation of system resilience (Abstract)

J. F. Meyer , Department of Electrical Engineering and Computer Science, Division of Computer Science and Engineering, University of Michigan, Ann Arbor, USA
pp. 1-7

Resilience modeling by means of a set of recursive functions (Abstract)

Maria Teresa Signes Pont , Departamento de Tecnología Informática y Computación, Universidad de Alicante, 03690 San Vicente del Raspeig, España
Juan Manuel Garcia Chamizo , Departamento de Tecnología Informática y Computación, Universidad de Alicante, 03690 San Vicente del Raspeig, España
Higinio Mora Mora , Departamento de Tecnología Informática y Computación, Universidad de Alicante, 03690 San Vicente del Raspeig, España
Jeronimo Mora Pascual , Departamento de Tecnología Informática y Computación, Universidad de Alicante, 03690 San Vicente del Raspeig, España
pp. 1-7

Behavioral aspects for agent-based models of resilient urban systems (Abstract)

Thomas Brudermann , ISIS, University of Graz, Austria
Yoshiki Yamagata , National Institute for Environmental Studies, Tsukuba, Ibaraki, Japan
pp. 1-7

An intrusion-tolerant firewall design for protecting SIEM systems (Abstract)

Miguel Garcia , University of Lisbon, Faculty of Sciences, LASIGE, Portugal
Nuno Neves , University of Lisbon, Faculty of Sciences, LASIGE, Portugal
Alysson Bessani , University of Lisbon, Faculty of Sciences, LASIGE, Portugal
pp. 1-7

Community-based resilient electricity sharing: Optimal spatial clustering (Abstract)

Yoshiki Yamagata , National Institute for Environmental Studies, Tsukuba, Ibaraki, Japan
Hajime Seya , National Institute for Environmental Studies, Tsukuba, Ibaraki, Japan
pp. 1-8

Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique (Abstract)

Tenda Okimoto , Transdisciplinary Research Integration Center, Tokyo, Japan
Naoto Ikegai , Transdisciplinary Research Integration Center, Tokyo, Japan
Katsumi Inoue , National Institute of Informatics, Tokyo, Japan
Hitoshi Okada , National Institute of Informatics, Tokyo, Japan
Tony Ribeiro , The Graduate University for Advanced Studies, Tokyo, Japan
Hiroshi Maruyama , Institute of Mathematical Statistics, Tokyo, Japan
pp. 1-7

Resilience: The case of international treaties (Abstract)

Ola Dahlman , OD Science Application, Fredrikshovsgatan 8, 115 23 Stockholm, Sweden
Nicholas Kyriakopoulos , Department of Electrical and Computer Engineering, The George Washington University, DC 20052, USA
pp. 1-4

SCoRe: An across-the-board metric for computer systems resilience benchmarking (Abstract)

Raquel Almeida , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
Afonso Araujo Neto , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
Marco Vieira , CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
pp. 1-8
82 ms
(Ver 3.3 (11022016))