Search

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Sensor Systems and Software, S-Cube 2012, held in Lisbon, Portugal in June 2012. The 12 revised full papers presented were carefully reviewed and selected from over 18 submissions and four invited talks and cover a wide range of topics including middleware, frameworks, learning from sensor data streams, stock management, e-health, and Web Of Things.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.

This book constitutes the refereed proceedings of the Second Asian Internet Engineering Conference, AINTEC 2006, held in Pathumthani, Thailand, in November 2006. The 12 revised full papers presented together with 5 invited papers are organized in topical sections on service architecture, multicast, performance in WLAN, routing, and multihoming in mobile networks.

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.

This volume of the Lecture Notes in Computer Science series contains the papers accepted for presentation at the Second International Conference on Autonomous Infrastructure, Management and Security (AIMS 2008). The conference took place in Bremen, Germany, hosted by the Jacobs University Bremen. AIMS 2008 was - ganized and supported by the EC IST-EMANICS Network of Excellence (#26854) in cooperation with ACM SIGAPP and ACM SIGMIS and co-sponsored by IFIP WG 6.6 and Jacobs University Bremen. This year's AIMS 2008 constituted the second edition of a single-track and standalone conference on management and security aspects of distributed and autonomous systems, which took place initially in Oslo, Norway in June 2007. The?rst objective of the AIMS conference series is to stimulate the exchange of ideas in a cross-disciplinary forum where there is su?cient time for discussion of novel ideas. A second objective is to provide a forum for doctoral students to discuss their research ideas in a wider audience and to receive training to help make their research careers successful. To this end, AIMS includes a PhD workshop and a tutorial program that is o?ered as part of the main conference program.

Die Fachtagung'Kommunikation in verteilten Systemen'hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten Systemen und den zugehörigen Kommunikationsaspekten zu vermitteln. Die 7. Fachtagung fand vom 20. bis 22. Februar 1991 an der Universität Mannheim statt. Der Tagungsband wendet sich an Informatiker, Ingenieure und andere Fachleute in diesem Arbeitsgebiet aus Universitäten und Forschungseinrichtungen, Industrie, Verwaltung und Telekom. Die thematischen Schwerpunkte sind - Architektur verteilter Systeme; - Offene Netze und offene verteilte Verarbeitung; - Intelligente und flexible Netze; - Protokolle für Hochgeschwindigkeitsnetze; - Netzplanung und Netzmanagement; - Formale Beschreibung, Test und Verifikation; - Verteilte Betriebssysteme; - Verteilte Datenbanksysteme; - Verteilte Anwendungen, Tele-Kooperation.

Secure Electronic Voting is an edited volume, which includes chapters authored by leading experts in the field of security and voting systems. The chapters identify and describe the given capabilities and the strong limitations, as well as the current trends and future perspectives of electronic voting technologies, with emphasis in security and privacy. Secure Electronic Voting includes state-of-the-art material on existing and emerging electronic and Internet voting technologies, which may eventually lead to the development of adequately secure e-voting systems. This book also includes an overview of the legal framework with respect to voting, a description of the user requirements for the development of a secure e-voting system, and a discussion on the relevant technical and social concerns. Secure Electronic Voting includes, also, three case studies on the use and evaluation of e-voting systems in three different real world environments.

Disseminating Security Updates at Internet Scale describes a new system,'Revere', that addresses these problems.'Revere'builds large-scale, self-organizing and resilient overlay networks on top of the Internet to push security updates from dissemination centers to individual nodes.'Revere'also sets up repository servers for individual nodes to pull missed security updates. This book further discusses how to protect this push-and-pull dissemination procedure and how to secure'Revere'overlay networks, considering possible attacks and countermeasures. Disseminating Security Updates at Internet Scale presents experimental measurements of a prototype implementation of'Revere'gathered using a large-scale oriented approach. These measurements suggest that'Revere'can deliver security updates at the required scale, speed and resiliency for a reasonable cost. Disseminating Security Updates at Internet Scale will be helpful to those trying to design peer systems at large scale when security is a concern, since many of the issues faced by these designs are also faced by'Revere'. The'Revere'solutions may not always be appropriate for other peer systems with very different goals, but the analysis of the problems and possible solutions discussed here will be helpful in designing a customized approach for such systems.

The continuous and intensive development of computer science results in the fast progress of computer networks. Computer networks, as well as the entire computer science?eld, are subject to regular changes caused by the general development of technology, and also the in?uence of new computer science te- nology. This progress refers to the methods as well as the tools of designing and modelingcomputernetworks. Particularly,therangeofusingcomputernetworks permanently is extended thanks to the results of new research and new app- cations, which were not even taken into consideration in the past. These new applications stimulate the development of scienti?c research, because the wider use of system solutions based on computer networks results in both theoretical and practical problems. This book is the evidence of the above considerations, with particular chapters referring to the broad spectrum of issues and problems. This book is the result of the research of scientists from many remarkable scienti?c research centers. It was created as a collection of articles presented during the 17th edition of the International Conference ‘Computer Networks', which took place in Ustro? (Poland) during June 15–19, 2010. This conference, organized continuously since 1994 by the Institute of Informatics of Silesian University of Technology, is the oldest event of this kind organized in Poland, having an international status for three years. This year's edition like last year, took place under the auspices of IEEE Poland Section.