CRYPTO.CAT ウェブサイトのレビュー
CRYPTO.CAT の SEO 統計が最後に更新されたのは 60 日前です。 この Web サイトのバックグラウンド分析タスクを開始しました。数分お待ちください。
基本情報
URL:
Server:
Unknown
IP:
都市:
ページ情報
Title:
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
Meta keywords:
verifpal, formal verification, protocol verification, cryptographic protocol verification, symbolic protocol verification, cryptography, secure protocols
Meta 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®
Internal links:
4 (0 nofollow)
External links:
3 (0 nofollow)
Site Technology
Server:
Unknown
SSL セキュア:
利用可能
robots.txt:
Unavailable
XML サイトマップ:
Unavailable
Gzip 圧縮:
利用可能
favicon.ico:
Unavailable
HTTP ヘッダー分析
HTTP ヘッダー フィールドは、ハイパーテキスト転送プロトコル (HTTP) の要求と応答のメッセージ ヘッダーのコンポーネントです。 これらは、HTTP トランザクションの操作パラメータを定義します。 ヘッダー フィールドは、Internet Explorer、Google Chrome、Firefox などの通常の Web ブラウザでは直接表示されません。以下は 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
DNS レコード分析
ドメイン ネーム システム (DNS) は、簡単に記憶できるドメイン名を、世界中のコンピュータ サービスやデバイスの位置を特定するために必要な数値 IP アドレスに変換します。 crypto.cat の DNS レコードは合計 13 件あります。
| ホスト | Type | IP/ターゲット | TTL | 追加情報 |
|---|---|---|---|---|
| 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 |