Ditemukan 4 dokumen yang sesuai dengan query
This book covers various aspects of security, privacy and reliability in Internet of Things (IoT) and Cyber-Physical System design, analysis and testing. In particular, various established theories and practices both from academia and industry are presented and suitably organized targeting students, engineers and researchers. Fifteen leading academicians and practitioners wrote...
Switzerland: Springer Nature, 2019
e20509832
eBooks Universitas Indonesia Library
This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation...
Switzerland: Springer Nature, 2019
e20506932
eBooks Universitas Indonesia Library
This book documents some of the most recent advances on the physical layer of the Internet of Things (IoT), including sensors, circuits, and systems. The application area selected for illustrating these advances is that of autonomous, wearable systems for real-time medical diagnosis. The book is unique in that it adopts...
Switzerland: Springer Cham, 2019
e20502533
eBooks Universitas Indonesia Library
Ray, Sandip, author
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing...
Switzerland: Springer Cham, 2019
e20502835
eBooks Universitas Indonesia Library
