Protocole cryptographique (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Protocole cryptographique" in French language version.

refsWebsite

Global rank French rank

4web.archive.org

1^st place

1^st place

613^th place

961^st place

low place

low place

57^th place

4^th place

2^nd place

3^rd place

274^th place

223^rd place

9,054^th place

low place

1avispa-project.org

low place

low place

low place

low place

low place

low place

low place

low place

low place

low place

low place

low place

low place

5,682^nd place

low place

low place

1tamarin-prover.github.io

low place

low place

ai-lab.it

« SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC) » [archive du 3 octobre 2015] (consulté le 17 octobre 2016)

avantssar.eu

AVANTSSAR

avispa-project.org

« Automated Validation of Internet Security Protocols and Applications (AVISPA) » [archive du 22 septembre 2016] (consulté le 7 octobre 2016)

ccs-labs.org

« Cryptographic Protocol Overview » [archive du 29 août 2017], 23 octobre 2015 (consulté le 23 octobre 2015)

doi.org

dx.doi.org

(en) Chen, Jero, Jagielski et Boldyreva, « Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC », Journal of Cryptology, vol. 34, n^o 3,‎ 1^er juillet 2021, p. 26 (ISSN 0933-2790, DOI 10.1007/s00145-021-09389-w, lire en ligne)

dtu.dk

people.compute.dtu.dk

Open-Source Fixed-Point Model-Checker (OFMC)

ens-cachan.fr

lsv.ens-cachan.fr

« Knowledge In Security protocolS (KISS) » [archive du 10 octobre 2016] (consulté le 7 octobre 2016)

haskell.org

hackage.haskell.org

cpsa: Symbolic cryptographic protocol analyzer

issn.org

portal.issn.org

(en) Chen, Jero, Jagielski et Boldyreva, « Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC », Journal of Cryptology, vol. 34, n^o 3,‎ 1^er juillet 2021, p. 26 (ISSN 0933-2790, DOI 10.1007/s00145-021-09389-w, lire en ligne)

loria.fr

cassis.loria.fr

Constraint Logic-based Attack Searcher (Cl-AtSe)

ox.ac.uk

cs.ox.ac.uk

springer.com

link.springer.com

(en) Chen, Jero, Jagielski et Boldyreva, « Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC », Journal of Cryptology, vol. 34, n^o 3,‎ 1^er juillet 2021, p. 26 (ISSN 0933-2790, DOI 10.1007/s00145-021-09389-w, lire en ligne)

tamarin-prover.github.io

Tamarin Prover

tue.nl

win.tue.nl

Berry Schoenmakers, « Lecture Notes Cryptographic Protocols »

upv.es

personales.upv.es

Maude-NRL Protocol Analyzer (Maude-NPA)

web.archive.org

« Cryptographic Protocol Overview » [archive du 29 août 2017], 23 octobre 2015 (consulté le 23 octobre 2015)
« Automated Validation of Internet Security Protocols and Applications (AVISPA) » [archive du 22 septembre 2016] (consulté le 7 octobre 2016)
« SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC) » [archive du 3 octobre 2015] (consulté le 17 octobre 2016)
« Knowledge In Security protocolS (KISS) » [archive du 10 octobre 2016] (consulté le 7 octobre 2016)