Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : FORMAL FIREWALL CONFORMANCE TESTING: AN APPLICATION OF TEST AND PROOF TECHNIQUES
FORMAL FIREWALL CONFORMANCE TESTING: AN APPLICATION OF TEST AND PROOF TECHNIQUES
01 septembre 2014

A Formal Security Policy Model (UPF) is applied to network policies (firewalls, routers, NATs). Derived Rules allow for a proven correct test-generation procedure for these policies.


Authors: A. Brucker, L. Brügger, B.Wolff.
Electronically appeared at Software Testing, Verification and Reliability (STVR), John Wiley & Sons, Ltd.
DOI: 10.1002/stvr.1544

Activités de recherche
  ° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  ° Test formel basé sur les modèles
  ° Vérification déductive de programmes

Equipe
  ° Vérification d'Algorithmes, Langages et Systèmes

Contact
  ° WOLFF Burkhart
Résultats majeurs
BEST STUDENT PAPER AWARD (ML) AT ECML 2019
20 septembre 2019
Guillaume Doquet (A&O), Best Student Paper Award (category Machine Learning) at ECML 2019.

BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 juillet 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T

BEST FULL PAPER AWARD EDM 2019 - EDUCATIONAL DATA MINING
05 juillet 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski

BEST PAPER AWARD - CODIT2019 - STOCHASTIC DUAL DYNAMIC INTEGER PROGRAMMING FOR A MULTI-ECHELON LOT-SIZING PROBLEM WITH REMANUFACTURING AND LOST SALES
14 mai 2019
Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum

BEST PAPER AWARD ICONS 2019: RESONANCE THINKING AND INDUCTIVE MACHINE LEARNING
06 mai 2019
Yves Kodratoff & Marta Franova