| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910293145603321 |
|
|
Autore |
Lysne Olav |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, : Springer Nature, 2018 |
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 116 p. 6 illus., 5 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Simula SpringerBriefs on Computing, , 2512-1677 ; ; 4 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Preliminary This book is open access under a CC BY 4.0 license. 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. . |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910742498403321 |
|
|
Autore |
A. Shah Akeel |
|
|
Titolo |
New Paradigms in Flow Battery Modelling / / by Akeel A. Shah, Puiki Leung, Qian Xu, Pang-Chieh Sui, Wei Xing |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (389 pages) |
|
|
|
|
|
|
Collana |
|
Engineering Applications of Computational Methods, , 2662-3374 ; ; 16 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
LeungPuiki |
XuQian |
SuiPang-Chieh |
XingWei |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Electric batteries |
Materials |
Computer simulation |
Fuel cells |
Mathematical physics |
Batteries |
Computer Modelling |
Fuel Cells |
Computational Physics and Simulations |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1: Introduction to Energy Storage -- Chapter 2: Introduction to Flow Batteries -- Chapter 3: An Introduction Flow Battery Modelling -- Chapter 4: Latest Developments in Macroscale Models -- Chapter 5: Latest Developments in Ab-Initio to Mesoscopic Models -- Chapter 6: Machine Learning for Flow Battery Systems -- Chapter 7: Future Flow Battery Modelling -- Bibliography. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides a comprehensive review of the latest modelling developments in flow batteries, as well as some new results and insights. Flow batteries have long been considered the most flexible answer to grid scale energy storage, and modelling is a key component in their development. Recent modelling has moved beyond macroscopic methods, towards mesoscopic and smaller scales to select materials and design components. This is important for both fundamental understanding and the design of new electrode, catalyst and electrolyte materials. There has also been a recent explosion in interest in machine learning for electrochemical energy technologies. The scope of the book includes these latest developments and is focused on advanced techniques, rather than traditional modelling paradigms. The aim of this book is to introduce these concepts and methods to flow battery researcher, but the book would have a much broader appeal since these methods also employed in other battery and fuel cell systems and far beyond. The methods will be described in detail (necessary fundamental material in Appendices). The book appeals to graduate students and researchers in academia/industry working in electrochemical systems, or those working in computational chemistry/machine learning wishing to seek new application areas. . |
|
|
|
|
|
|
|
| |