The Huawei and Snowden Questions [[electronic resource] ] : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? / / by Olav Lysne |
Autore | Lysne Olav |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2018 |
Descrizione fisica | 1 online resource (XIV, 116 p. 6 illus., 5 illus. in color.) |
Disciplina | 005.8 |
Collana | Simula SpringerBriefs on Computing |
Soggetto topico |
Computer security
Computer engineering Management information systems Computer science Political science Economic policy Privacy Computer Engineering Management of Computing and Information Systems Governance and Government R & D/Technology Policy |
Soggetto non controllato |
cyber security
IT management computer science computer engineering digital vulnerability |
ISBN | 3-319-74950-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 Trust -- 3 What is an ICT-System? -- 4 Development of ICT Systems -- 5 Theoretical Foundation -- 6 Reverse Engineering of Code -- 7 Static Detection of Malware -- 8 Dynamic Detection Methods -- 9 Formal Methods -- 10 Software Quality and Quality Management -- 11 Containment of Untrusted Modules -- 12 Summary and Way Forward. |
Record Nr. | UNINA-9910293145603321 |
Lysne Olav
![]() |
||
Cham, : Springer Nature, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Symmetry in Engineering Sciences |
Autore | Montoya Francisco G |
Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
Descrizione fisica | 1 electronic resource (220 p.) |
Soggetto non controllato |
edge preserving
fault diagnosis accessibility urban traffic planning sensitivity analysis graphic modelling Coalbrookdale (Shropshire) mobile robot asymmetry convexity/concavity flying buttresses vibration time-space network linearization technique friction damping adaptive threshold ring damper broad learning model Hilbert transform express shipment symmetry traffic control railcar flow distribution optimization industrial archaeology high order urban hospitals (HOUHs) thin-walled gear rampant arch traffic congestion railway transportation robots virtual reconstruction feature selection geometric modeling path search industrial heritage weighted mean filter topology A* algorithm traffic forecasting feature interaction classification peaks distribution rolling bearings noise detector 3D slicer inclined plane computing applications environmental modeling extension service network design evaluation model anomaly detection random forest local preserving projection complex networks computer engineering electronic devices BP neural network mechanical structures segmentation lifting wavelet semi-supervised random forest railway network cathedral local monotonicity aged optimum path planning local data features local inflection conditional mutual information energy dissipation support vector machine variational mode decomposition Agustín de Betancourt optimization criteria tumor trip impedance based on public transportation Fisher linear discriminant analysis synchronization clustering geometry electrical circuits random value impulse noise |
ISBN | 3-03921-875-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910367742303321 |
Montoya Francisco G
![]() |
||
MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|