Security and Privacy of Protocols and Software with Formal Methods

Fabrizio Biondi 1 Axel Legay 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The protection of users' data conforming to best practice and legislation is one of the main challenges in computer science. Very often, large-scale data leaks remind us that the state of the art in data privacy and anonymity is severely lacking. The complexity of modern systems make it impossible for software architect to create secure software that correctly implements privacy policies without the help of automated tools. The academic community needs to invest more effort in the formal modelization of security and anonymity properties, providing a deeper understanding of the underlying concepts and challenges and allowing the creation of automated tools to help software architects and developers. This track provides numerous contributions to the formal modeling of security and anonymity properties and the creation of tools to verify them on large-scale software projects.
Type de document :
Communication dans un congrès
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2016, Kommeno, Greece. 2016, ISoLA 2016 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Liste complète des métadonnées

Littérature citée [47 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01378645
Contributeur : Fabrizio Biondi <>
Soumis le : lundi 10 octobre 2016 - 15:31:15
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : samedi 4 février 2017 - 01:26:52

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01378645, version 1

Collections

Citation

Fabrizio Biondi, Axel Legay. Security and Privacy of Protocols and Software with Formal Methods. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2016, Kommeno, Greece. 2016, ISoLA 2016 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 〈hal-01378645〉

Partager

Métriques

Consultations de la notice

304

Téléchargements de fichiers

154