Benjamin Aziz – författare
Visar alla böcker från författaren Benjamin Aziz. Handla med fri frakt och snabb leverans.
3 produkter
Engineering Secure Internet of Things Systems
Av Benjamin Aziz, Alvaro Arenas m. fl.
Inbunden, 2016
2072 kr
Lägg i varukorg
The Internet of Things (IoT) - the emerging global interconnection of billions of 'smart' devices - will be collecting increasing amounts of private and sensitive data about our lives, and will require increasing degrees of reliability and trustworthiness in terms of the levels of assurance …
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
Häftad, 2021
662 kr
Lägg i varukorg
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the …
Formal Analysis by Abstract Interpretation
Case Studies in Modern Protocols
E-bok, 2021
897 kr
Lägg i varukorg
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the …
