security  (37 288 Angebote unter 18 337 332 Artikeln)

This provides a comprehensive overview of the key principles of security concerns surrounding the upcoming Internet of Things (IoT), and introduces readers to the protocols adopted in the IoT. It a...

Security and Protocols.- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.- Proofs Methods for Bisimulation Based Information Flow Security.- ...

Issues, Initiatives, and Prospects

This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 20...

This comprehensive volume presents the topic of water resources of Mexico from a different angle. Besides covering the geohydrology it also offers a brief account of the ancient water resources wor...

4th International Symposium, UNet 2018, Hammamet, Tunisia, May 2 - 5, 2018, Revised Selected Papers

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place i...

Russia's Strategic Security Challenge to Europe

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ...

Threat Detection and Mitigation

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 ...

Proceedings from the 7th International Conference on Water and Flood Management