Vi föreslår en protokollmodell som integrerar två olika sätt att analysera kryptografiska protokoll: i) analys w.r.t. ett obegränsat antal sessioner och begränsad meddelandestorlek, och ii) analys w.r.t. a ett tidigare begränsat antal sessioner men med meddelanden av obegränsad storlek. Vi visar att i denna modell sekretess är DEXPTIME-fullständig. Detta resultat erhålls genom att förlänga Dolev-Yao inkräktaren för att simulera obegränsat antal sessioner.  Nyckelord: Extension du modèle d'Intru de Dolev-Yao pour l'Analyse d'un Nombre Non Borné de Sessions Nous proposons un modèle de protocole intégrant deux moyens différents d'analyser les protocoles cryptographiques: i) analysera par rapportà un nombre non pearde de sessions mais des tailles de messments bonées, et ii) analysera par rapportà un nombre de sessionsà priori pearde mais avec de tailles de messments illimitées. Nous montrons que dans ce modèle, la recherche d'une attaque de Secret est DEXPTIME-complete. Ce résultat est obtenu par une extension du modèle d'intrus de Dolev-Yoa permettant de simuler l'exécution d'un nombre non peardé de sessions.
En intressant variant av Dolev -Yao inkräktarmodellen föreslås i REF, för att analysera ett obegränsat antal protokoll sessioner med antingen avgränsade eller obundna antal meddelanden.
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
{'venue': 'CSL', 'journal': None, 'mag_field_of_study': ['Computer Science']}