crypto.cat 网站分析
crypto.cat - 基本信息
crypto.cat - 页面信息
标题:
Verifpal: Cryptographic Protocol Analysis for Students and EngineersMeta 关键词:
verifpal, formal verification, protocol verification, cryptographic protocol verification, symbolic protocol verification, cryptography, secure protocolsMeta 描述信息:
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:
Verifpal®内部链接:
4 (0 nofollow)外部链接:
3 (0 nofollow)crypto.cat - 建站技术
服务器:
nginx
SSL 安全:
不可用robots.txt:
不可用XML 站点地图:
不可用Gzip 压缩:
有效favicon.ico:
不可用crypto.cat - HTTP Head 分析
HTTP 协议采用了请求与响应模型，通过 HTTP Header 定义了 HTTP 传输过程中的必要参数。 浏览器（例如 Internet Explorer, Google Chrome, Firefox 等）并不会显示 HTTP header 字段的内容，下面是网站 crypto.cat 的 HTTP header 信息:
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
crypto.cat - DNS 记录分析
DNS 域名系统（Domain Name System，缩写）是 Internet 的一项基础服务。它作为将域名和IP地址相互映射的一个分布式数据库，能够使人更方便地访问互联网。crypto.cat 当前共有 13 项 DNS 记录。
| 主机 | 类型 | 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 |