Search results: Found 9

Listing 1 - 9 of 9
Sort by
Symbiotic Interaction: 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers

Authors: --- --- --- --- et al.
Book Series: Information Systems and Applications, incl. Internet/Web, and HCI ISSN: 1611-3349 ISBN: 9783319577524 9783319577531 Year: Pages: 182 DOI: 10.1007/978-3-319-57753-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2017-05-26 17:57:08
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016.The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes on the computers’ ability to implicitly detect the users goals, preferences or/and psycho-physiological states and thereby enhancing human-computer interaction (HCI). The papers present an overview of the symbiotic relationships between humans and computers with emphasis on user-driven research on symbiotic systems, adaptive systems, implicit input data, physiological computing and BCI, but also on understanding the nature of the interdependence and agency between computers and humans more broadly.

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?

Author:
Book Series: Simula SpringerBriefs on Computing ISBN: 9783319749495 9783319749501 Year: Volume: 4 DOI: https://doi.org/10.1007/978-3-319-74950-1 Language: English
Publisher: Springer Nature Grant: Simula Research Laboratory
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:43:36
License:

Loading...
Export citation

Choose an application

Abstract

This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security.This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.

Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science ISSN: 0302-9743 / 1611-3349 ISBN: 9783319607733 9783319607740 Year: Pages: 192 DOI: https://doi.org/10.1007/978-3-319-60774-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2017-11-24 15:59:08
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017.The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security management; management of cloud environments and services, evaluation and experimental study of rich network services; security, intrusion detection, and configuration; autonomic and self-management solutions; and methods for the protection of infrastructure.

Security Infrastructure Technology for Integrated Utilization of Big Data

Authors: ---
ISBN: 9789811536540 Year: Pages: 166 DOI: 10.1007/978-981-15-3654-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:37
License:

Loading...
Export citation

Choose an application

Abstract

This open access book describes the technologies needed to construct a secure big data infrastructure that connects data owners, analytical institutions, and user institutions in a circle of trust. It begins by discussing the most relevant technical issues involved in creating safe and privacy-preserving big data distribution platforms, and especially focuses on cryptographic primitives and privacy-preserving techniques, which are essential prerequisites. The book also covers elliptic curve cryptosystems, which offer compact public key cryptosystems; and LWE-based cryptosystems, which are a type of post-quantum cryptosystem. Since big data distribution platforms require appropriate data handling, the book also describes a privacy-preserving data integration protocol and privacy-preserving classification protocol for secure computation. Furthermore, it introduces an anonymization technique and privacy risk evaluation technique. This book also describes the latest related findings in both the living safety and medical fields. In the living safety field, to prevent injuries occurring in everyday life, it is necessary to analyze injury data, find problems, and implement suitable measures. But most cases don’t include enough information for injury prevention because the necessary data is spread across multiple organizations, and data integration is difficult from a security standpoint. This book introduces a system for solving this problem by applying a method for integrating distributed data securely and introduces applications concerning childhood injury at home and school injury. In the medical field, privacy protection and patient consent management are crucial for all research. The book describes a medical test bed for the secure collection and analysis of electronic medical records distributed among various medical institutions. The system promotes big-data analysis of medical data with a cloud infrastructure and includes various security measures developed in our project to avoid privacy violations.

A Journey of Embedded and Cyber-Physical Systems

Author:
ISBN: 9783030474874 Year: Pages: 176 DOI: 10.1007/978-3-030-47487-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-09-01 00:02:28
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Authors: --- ---
ISBN: 9783030439460 Year: Pages: 285 DOI: 10.1007/978-3-030-43946-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-05-14 09:30:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.

Digital Transformation in Semiconductor Manufacturing

Authors: --- --- ---
Book Series: Lecture Notes in Electrical Engineering ISBN: 9783030486020 Year: Pages: 146 DOI: 10.1007/978-3-030-48602-0 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-06-16 23:58:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital Transformation Conference (EADCT 2018 and EADTC 2019), the book covers different, multidisciplinary aspects related to digital transformation, including technological and industrial developments, as well as human factors research and applications. Topics include modeling and simulation methods in semiconductor operations, supply chain management issues, employee training methods and workplaces optimization, as well as smart software and hardware solutions for semiconductor manufacturing. By highlighting industrially relevant developments and discussing open issues related to digital transformation, the book offers a timely, practice-oriented guide to graduate students, researchers and professionals interested in the digital transformation of manufacturing domains and work environments.

European Guide to Power System Testing

Authors: --- ---
ISBN: 9783030422745 Year: Pages: 132 DOI: 10.1007/978-3-030-42274-5 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-06-17 00:00:25
License:

Loading...
Export citation

Choose an application

Abstract

This book is an open access book. This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed. The book begins with an introduction to current power system testing methods and an overview of the ERIGrid system-level validation approach. It then moves on to discuss various validation methods, concepts and tools, including simulation and laboratory-based assessment methods. The book presents test cases and validation examples of the proposed methodologies and summarises the lessons learned from the holistic validation approach. In the final section of the book, the educational aspects of these methods, the outlook for the future, and overall conclusions are discussed. Given its scope, the book will be of interest to researchers, engineers, and laboratory personnel in the fields of power systems and smart grids, as well as undergraduate and graduate students studying related engineering topics.

Oslo Manual on Select Topics of the Law of Armed Conflict

Authors: ---
ISBN: 9783030391690 Year: Pages: 151 DOI: 10.1007/978-3-030-39169-0 Language: English
Publisher: Springer Nature
Subject: Law --- Sociology
Added to DOAB on : 2020-06-17 00:00:22
License:

Loading...
Export citation

Choose an application

Abstract

This new open access book provides a valuable restatement of the current law of armed conflict regarding hostilities in a diverse range of contexts: outer space, cyber operations, remote and autonomous weapons, undersea systems and devices, submarine cables, civilians participating in unmanned operations, military objectives by nature, civilian airliners, destruction of property, surrender, search and rescue, humanitarian assistance, cultural property, the natural environment, and more. The book was prepared by a group of experts after consultation with a number of key governments. It is intended to offer guidance for practitioners (mainly commanding officers); facilitate training at military colleges; and inform both instructors and graduate students of international law on the current state of the law.

Listing 1 - 9 of 9
Sort by
Narrow your search

Publisher

Springer Nature (9)


License

CC by (9)


Language

english (9)


Year
From To Submit

2021 (1)

2020 (5)

2018 (1)

2017 (2)