Symbolic TLS Channel Model Artifact

Résumé fourni par la source

This software artifact contains the Tamarin models, deployment-configuration files, and analysis scripts accompanying the paper “Mind the TLS Semantic Gap: Configuration-Guided Analysis of Cross-Layer Protocol Failures.” It implements the configurable symbolic TLS channel abstraction and the corresponding case-study models for MQTT QoS 2, HTTP 425 retry and idempotency, and CAS single sign-on. The artifact supports systematic analysis of applicable TLS deployment configurations and reproduction of the verification results reported in the paper, including the original and repaired application models.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.