GuardLaticeSciences

Explorer les recherches

Prépublication externe · Version 1

Vérification du code d’autorisation

Mahamadu Sidibe

Version, provenance et échanges

Propose une vérification statique fondée sur SMT pour rapprocher le code d'application des règles d'autorisation qu'il doit respecter. L'approche cible une représentation intermédiaire minimale, totale, sans boucle et sans effet de bord.

Version diffusée
03/02/2026
Échanges sur la plateforme
0 avis · 0 approbation(s)
Espace
Mahamadou Sidibe · Research

Les échanges sur la plateforme ne constituent pas une attestation d’évaluation scientifique externe.

Source et accès

Les notices référencées donnent accès aux métadonnées et au résumé public. L'accès au texte intégral n'a pas été confirmé.

Consulter la notice SSRN

Portée et limites

La notice repose sur le résumé public disponible, qui est tronqué. Le corps du document n'a pas été consulté ; ses démonstrations et leur portée restent à examiner dans le texte intégral.

Le statut de prépublication ne constitue pas une évaluation par les pairs.

Références et provenance

  • Nature : prépublication — notice externe
  • Source : SSRN
  • Auteur indiqué : Mahamadu Sidibe
  • Date indiquée : 3 février 2026
  • DOI : 10.2139/ssrn.6172020
  • Thèmes : autorisation, vérification, SMT

Citation

Mahamadu Sidibe. Policy-Aware SMT-Based Static Verification of Distributed Access-Control Enforcement Code Proofs of Authorization Non-Interference and Policy Preservation. SSRN, 2026-02-03. Prépublication.

Télécharger la référence BibTeX

Ce travail continue

Gardez sa prochaine version à portée de main.

Enregistrez l’article, suivez ses résultats ou présentez une contribution à l’équipe.

Traçabilité

La page publique correspond à une version figée. Le brouillon de travail, les contributions et les avis restent reliés dans le dossier privé.