000			04447cam a2200421Mi 4500
001			95174
003			ES-MaUEC
005			20230102112650.0
006			m o d
007			cr cnu---unuuu
008			170107s2017 sz o 000 0 eng d
020			_a3319513281 _q(electronic bk.)
020			_a9783319513287 _q(electronic bk.)
020			_z3319513273
020			_z9783319513270
035			_a(OCoLC)967877981 _z(OCoLC)967866156 _z(OCoLC)968184056 _z(OCoLC)974650298 _z(OCoLC)981873604 _z(OCoLC)988825936 _z(OCoLC)1005780171 _z(OCoLC)1012074005
040			_aEBLCP _cEBLCP _dN$T _dYDX _dIDEBK _dGW5XE _dCNCGM _dUAB _dOCLCQ _dNJR _dMERUC _dUPM _dOCLCF _dIOG _dESU _dZ5A _dJBG _dIAD _dICW _dICN _dOTZ _dOCLCQ _dVT2 _dU3W _dES-MaUEC _bspa
050		4	_aTK5105.67 _bL563 2017 EB
100	1		_aLin, Chung-Wei.
245	1	0	_aSecurity-aware design for cyber-physical systems : _ba platform-based approach _cChung-Wei Lin, Alberto Sangiovanni-Vincentelli.
264		1	_aCham _bSpringer _c2017
300			_a1 recurso en línea (106 páginas)
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_atext file _bPDF _2rda
500			_aSpringerLink _bSpringer Engineering eBooks 2017 English+International
505	0		_aAcronyms; 1 Introduction; 2 Security Threats in Cyber-Physical Systems; 3 Security-Aware Design Methodology; 3.1 Security-Aware Mapping; 3.2 Security Mechanism Selection; 3.3 Architecture Selection; 3.4 Examples of Security-Aware Design; 3.5 Summary; 4 Security Mechanisms for CAN Protocol; 4.1 System Model and Attacker Model; 4.2 Security Mechanisms; 4.2.1 Basic Authentication; 4.2.2 Advanced Mechanism; 4.3 Counter Implementation; 4.4 Counter Reset Mechanisms; 4.4.1 Self-healing Reset Mechanism; 4.4.2 Network-Wide Reset Mechanisms; 4.5 Analysis; 4.6 Summary.
505	8		_a5 Security-Aware Mapping for CAN-Based Systems5.1 System Model and Formulation; 5.1.1 System Model; 5.1.2 Security Constraints and Key Distribution; 5.1.3 Safety Constraints; 5.2 Mapping Algorithm; 5.2.1 Constraints; 5.2.2 Objective Function; 5.2.3 MILP-Based Algorithm; 5.3 Extension; 5.3.1 Path-Based Security Constraints; 5.3.2 Objective Function; 5.3.3 Algorithm; 5.4 Experimental Results; 5.4.1 Comparison with a Greedy Heuristic; 5.4.2 Comparison with Non-integrated Approaches; 5.4.3 Extension; 5.5 Summary; 6 Security-Aware Mapping for TDMA-Based Systems; 6.1 System Model and Formulation.
505	8		_a6.2 Time-Delayed Release of Keys6.3 Mapping Algorithm; 6.3.1 Overview; 6.3.2 Task Allocation and Priority Assignment; 6.3.3 Signal Mapping; 6.3.4 Network Scheduling; 6.3.5 Worst-Case Transmission Delay Analysis; 6.3.6 Interval Length Exploration; 6.3.7 Network Scheduling Refinement; 6.4 Experimental Results; 6.5 Summary; 7 Security-Aware Design for V2V Communication; 7.1 Formulation and Formulation; 7.2 Algorithm; 7.3 Experimental Results; 7.4 Summary; 8 FSM-Based Security-Aware Design; 9 Graph-Based Security-Aware Design; 9.1 Multiple Paths for Security; 9.2 Network Partitioning for Security.
505	8		_a9.3 Summary10 Conclusions; References.
520	3		_aAddressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints. Cyber-attacks become more threatening as systems are becoming more connected with the surrounding environment, infrastructures, and other systems. Security mechanisms can be designed to protect against attacks and meet security requirements, but there are many challenges of applying security mechanisms to cyber-physical systems including open environments, limited resources, strict timing requirements, and large number of devices. Designed for researchers and professionals, this book is valuable for individuals working in network systems, security mechanisms, and system design. It is also suitable for advanced-level students of computer science.
650		7	_aRedes informáticas _2embne _0(OCoLC)fst00872297 _0 _9141354
700	1		_aSangiovanni-Vincentelli, Alberto.
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=http://link.springer.com/10.1007/978-3-319-51328-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
988			_aEBOOK, asignarmaterias, EBSPRINGER_2017B
998			_b02/2018 _dz _e- _zSI
999			_c95174 _d95174 _x1