Foundations of Security Analysis and Design VII

Le livre "Foundations of Security Analysis and Design VII" propose une collection complète de versions révisées de neuf conférences pédagogiques, présentées par des chercheurs de premier plan lors des Écoles Internationales sur les Fondements de l'Analyse et de la Conception de la Sécurité. Ces événements se sont tenus à Bertinoro, en Italie, en 2012 et 2013, et se sont établis comme une ressource éducative significative. L'ouvrage s'adresse aux étudiants et jeunes chercheurs du milieu académique ainsi que de l'industrie, qui souhaitent aborder les défis et les questions ouvertes dans le domaine de la sécurité informatique et de la sécurité des réseaux. Les sujets traités sont variés et vont de la sécurité basée sur des modèles à la vérification automatique d'applications sécurisées, en passant par les systèmes de vote cryptographiques et la protection des données dans le cloud. Ces thèmes sont essentiels pour le développement de solutions de sécurité dans le monde numérique d'aujourd'hui.