security  (37 147 Angebote unter 18 332 574 Artikeln)

9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers

HP Pro 400 G9 - Mini - Core i5 12500T / 2 GHz - RAM 16 GB - SSD 512 GB - NVMe, HP Value - UHD Graphics 770 - 1GbE, Bluetooth 5.2, Wi-Fi 6E - WLAN: Bluetooth 5.2, 802.11a/b/g/n/ac/ax (Wi-Fi 6E) - Wi...

Invited Talks.- Realising the Benefits of Formal Methods.- A Compositional Framework for Service Interaction Patterns and Interaction Flows.- An Evidential Tool Bus.- Specification.- Derivation of ...

HP Mobile Thin Client mt46 - AMD Ryzen 3 Pro 4450U / 2.5 GHz - Win 10 IoT Enterprise 2019 LTSC Value for Thin Clients 64-bit - Radeon Graphics - 16 GB RAM - 128 GB SSD TLC - 35.56 cm (14") IPS 1920...

presents an in-depth discussion of the most important issues and approaches to federated learning for researchers and practitioners. Federated Learning (FL) is an approach to machine learning in wh...

HP Pro 400 G9 - Mini - Core i5 12500T / 2 GHz - RAM 16 GB - SSD 256 GB - NVMe, HP Value - UHD Graphics 770 - 1GbE, Bluetooth 5.2, Wi-Fi 6E - WLAN: Bluetooth 5.2, 802.11a/b/g/n/ac/ax (Wi-Fi 6E) - Wi...

This book constitutes the revised selected papers of the 12th International Symposium on Foundations and Practice of Security, FPS 2019, held in Toulouse, France, in November 2019.

HP Mobile Thin Client mt46 - AMD Ryzen 3 Pro 4450U / 2.5 GHz - Win 10 IoT Enterprise 2019 LTSC Value for Thin Clients 64-bit - Radeon Graphics - 8 GB RAM - 128 GB SSD TLC - 35.56 cm (14") IPS 1920 ...

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers pre...

HP MX12 Retail Solution - Tablet - Intel Xeon Silver 4410Y / 1.5 GHz - Win 10 IoT 64-bit - HD Graphics 615 - 4 GB RAM - 128 GB SSD HP Value - 30.48 cm (12") Touchscreen 1920 x 1280 - Wi-Fi 5, NFC

This book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December 12-14, 2022.The 26 ...

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presente...

HP MX12 Retail Solution - Tablet - Intel Core m3 7Y30 / 1 GHz - Win 10 IoT 64-bit - HD Graphics 615 - 4 GB RAM - 128 GB SSD HP Value - 30.48 cm (12") IPS Touchscreen 1920 x 1280 - Wi-Fi 5, NFC

This book provides a survey on different kinds of Feistel ciphers, with their definitions and mathematical/computational properties. Feistel ciphers are widely used in cryptography in order to obta...