CRYPTO.CAT Revue du site Web
Les statistiques SEO pour CRYPTO.CAT ont été mises à jour pour la dernière fois il y a 60 jours. Nous avons lancé une tâche d'analyse de fond pour ce site Web, veuillez patienter quelques minutes.
Informations de base
URL:
Server:
Unknown
IP:
City:
Informations sur la page
Title:
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
Méta-mots clés:
verifpal, formal verification, protocol verification, cryptographic protocol verification, symbolic protocol verification, cryptography, secure protocols
Méta description:
Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols, and outputs readable analysis results, making it uniquely suitable as an introduction to cryptographic protocol verification for students and engineers. Learn how to use Verifpal using the Verifpal User Manual, and get started with protocol verification today!
H1 Tag:
Verifpal®
Liens internes:
4 (0 nofollow)
Liens externes:
3 (0 nofollow)
Technologie du site
Server:
Unknown
SSL Sécurisé:
Available
robots.txt:
Unavailable
Plan du site XML:
Unavailable
Compresser Gzip:
Available
favicon.ico:
Unavailable
Analyse d'en-tête HTTP
Les champs d'en-tête HTTP sont des composants de l'en-tête de message des requêtes et des réponses dans le protocole de transfert hypertexte (HTTP). Ils définissent les paramètres de fonctionnement d'une transaction HTTP. Les champs d'en-tête ne sont pas directement affichés par les navigateurs Web normaux comme Internet Explorer, Google Chrome, Firefox, etc. Vous trouverez ci-dessous les informations d'en-tête HTTP de crypto.cat :
HTTP/1.1 301 Moved Permanently
Server: nginx
Date: Fri, 29 May 2020 04:57:20 GMT
Content-Type: text/html
Content-Length: 162
Connection: keep-alive
Keep-Alive: timeout=5
Location: https://verifpal.com
Strict-Transport-Security: max-age=31536000; includeSubDomains; preload
X-Frame-Options: SAMEORIGIN
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Referrer-Policy: no-referrer
HTTP/1.1 200 OK
Server: nginx
Date: Fri, 29 May 2020 04:57:20 GMT
Content-Type: text/html
Last-Modified: Thu, 28 May 2020 14:17:32 GMT
Transfer-Encoding: chunked
Connection: keep-alive
Keep-Alive: timeout=5
ETag: W/"5ecfc7fc-21ec"
Strict-Transport-Security: max-age=31536000; includeSubDomains; preload
X-Frame-Options: SAMEORIGIN
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Referrer-Policy: no-referrer
Content-Encoding: gzip
Server: nginx
Date: Fri, 29 May 2020 04:57:20 GMT
Content-Type: text/html
Content-Length: 162
Connection: keep-alive
Keep-Alive: timeout=5
Location: https://verifpal.com
Strict-Transport-Security: max-age=31536000; includeSubDomains; preload
X-Frame-Options: SAMEORIGIN
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Referrer-Policy: no-referrer
HTTP/1.1 200 OK
Server: nginx
Date: Fri, 29 May 2020 04:57:20 GMT
Content-Type: text/html
Last-Modified: Thu, 28 May 2020 14:17:32 GMT
Transfer-Encoding: chunked
Connection: keep-alive
Keep-Alive: timeout=5
ETag: W/"5ecfc7fc-21ec"
Strict-Transport-Security: max-age=31536000; includeSubDomains; preload
X-Frame-Options: SAMEORIGIN
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Referrer-Policy: no-referrer
Content-Encoding: gzip
Analyse des enregistrements DNS
Domain Name Systes (DNS) traduit les noms de domaine facilement mémorisés en adresses IP numériques nécessaires pour localiser les services et appareils informatiques dans le monde entier. Il existe au total 13 enregistrement(s) DNS de crypto.cat.
Hôte | Type | IP/Target | TTL | Informations supplémentaires |
---|---|---|---|---|
crypto.cat | A | 3600 | ||
crypto.cat | MX | 3600 | pri: 5 | |
crypto.cat | MX | 3600 | pri: 10 | |
crypto.cat | MX | 3600 | pri: 10 | |
crypto.cat | MX | 3600 | pri: 1 | |
crypto.cat | MX | 3600 | pri: 5 | |
crypto.cat | NS | 172800 | ||
crypto.cat | NS | 172800 | ||
crypto.cat | NS | 172800 | ||
crypto.cat | NS | 172800 | ||
crypto.cat | SOA | 3600 | expire: 2419200 serial: 1 | |
crypto.cat | TXT | v=spf1 include:_spf.google.com ~all | 3600 | |
crypto.cat | TXT | google-site-verification=TKRIhxQZx2RJFSQP7Zq_4vdddoBb861L1HNzTGvqxEs | 3600 |