shop.elsevier.com Open in urlscan Pro
104.16.57.61 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
https://formalverificationbook.com/
Effective URL:
https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Submission: On June 06 via api (June 6th 2024, 3:17:45 am UTC) from US — Scanned from DE

Summary HTTP 28 Redirects Links 31 Behaviour Indicators

Summary

This website contacted 6 IPs in 2 countries across 6 domains to perform 28 HTTP transactions. The main IP is 104.16.57.61, located in and belongs to CLOUDFLARENET, US. The main domain is shop.elsevier.com. The Cisco Umbrella rank of the primary domain is 560726.
TLS certificate: Issued by GlobalSign RSA OV SSL CA 2018 on January 3rd 2024. Valid for: a year.

This is the only time shop.elsevier.com was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1 1	2607:f1c0:100... 2607:f1c0:100f:f000::297	8560 (IONOS-AS ...) (IONOS-AS This is the joint network for IONOS)
23	104.16.57.61 104.16.57.61	13335 (CLOUDFLAR...) (CLOUDFLARENET)
1	2600:9000:235... 2600:9000:235a:5e00:12:94b3:c380:93a1	16509 (AMAZON-02) (AMAZON-02)
1	2606:4700::68... 2606:4700::6810:4f49	13335 (CLOUDFLAR...) (CLOUDFLARENET)
1	2602:816:5001... 2602:816:5001::39	54113 (FASTLY) (FASTLY)
2	162.247.243.29 162.247.243.29	54113 (FASTLY) (FASTLY)
28	6

1 2607:f1c0:100f:f000::297 (United States) 1 redirects

ASN8560 (IONOS-AS This is the joint network for IONOS, Fasthosts, Arsys, 1&1 Mail and Media and 1&1 Telecom. Formerly known as 1&1 Internet SE., DE)

formalverificationbook.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

23 104.16.57.61 (None, )

ASN13335 (CLOUDFLARENET, US)

shop.elsevier.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2600:9000:235a:5e00:12:94b3:c380:93a1 (United States)

ASN16509 (AMAZON-02, US)

images.ctfassets.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2606:4700::6810:4f49 (United States)

ASN13335 (CLOUDFLARENET, US)

static.cloudflareinsights.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2602:816:5001::39 (United States)

ASN54113 (FASTLY, US)

js-agent.newrelic.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 162.247.243.29 (United States)

ASN54113 (FASTLY, US)

bam.nr-data.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
23	elsevier.com shop.elsevier.com — Cisco Umbrella Rank: 560726	727 KB
2	nr-data.net bam.nr-data.net — Cisco Umbrella Rank: 293	946 B
1	newrelic.com js-agent.newrelic.com — Cisco Umbrella Rank: 879	34 KB
1	cloudflareinsights.com static.cloudflareinsights.com — Cisco Umbrella Rank: 1009	7 KB
1	ctfassets.net images.ctfassets.net — Cisco Umbrella Rank: 4252	14 KB
1	formalverificationbook.com 1 redirects formalverificationbook.com	143 B
28	6

	Domain	Requested by
23	shop.elsevier.com	shop.elsevier.com
2	bam.nr-data.net	shop.elsevier.com
1	js-agent.newrelic.com	shop.elsevier.com
1	static.cloudflareinsights.com	shop.elsevier.com
1	images.ctfassets.net	shop.elsevier.com
1	formalverificationbook.com	1 redirects
28	6

This site contains links to these domains. Also see Links.

Domain
www.elsevier.com
global-checkout.elsevier.com
account.elsevier.com
www.sciencedirect.com
service.elsevier.com
www.clinicalkey.com
www.linkedin.com
twitter.com
www.facebook.com
www.youtube.com
www.relx.com

Subject Issuer	Validity	Valid
*.elsevier.com GlobalSign RSA OV SSL CA 2018	`2024-01-03` - `2025-02-03`	a year	crt.sh
images.ctfassets.net Amazon RSA 2048 M02	`2023-12-19` - `2025-01-16`	a year	crt.sh
cloudflareinsights.com GTS CA 1P5	`2024-05-08` - `2024-08-06`	3 months	crt.sh
js-agent.newrelic.com GlobalSign Atlas R3 DV TLS CA 2024 Q1	`2024-03-21` - `2025-04-22`	a year	crt.sh
*.nr-data.net DigiCert Global G2 TLS RSA SHA256 2020 CA1	`2023-09-29` - `2024-10-01`	a year	crt.sh

This page contains 1 frames:

Primary Page: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Frame ID: 3AEDC1F9443698CA807100EF5AC72E94
Requests: 30 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page Title

Formal Verification - 2nd Edition | Elsevier Shop

Page URL History Show full URLs

https://formalverificationbook.com/ HTTP 302
https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3 Page URL

Detected technologies

Cloudflare Browser Insights (Analytics) Expand

Overall confidence: 100%
Detected patterns

static\.cloudflareinsights\.com/beacon(?:\.min)?\.js

Page Statistics

28
Requests

100 %
HTTPS

67 %
IPv6

6
Domains

6
Subdomains

6
IPs

2
Countries

783 kB
Transfer

2613 kB
Size

2
Cookies

31 Outgoing links

These are links going to different origins than the main page.

URL: https://www.elsevier.com/legal/cookienotice
Title: Cookie Policy

Search URL Search Domain Scan URL

URL: https://global-checkout.elsevier.com/
Title: Shopping Cart

Search URL Search Domain Scan URL

URL: https://account.elsevier.com/
Title: openUserAccount

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/support#2-elsevier-ecommerce
Title: Support Hub.

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/contact-sales-books?issn_isbn=9780323956123&product=Formal%20Verification
Title: Request a sales quote

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/books-and-journals/book-companion/9780323956123
Title: Companion materials(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.sciencedirect.com/science/book/9780323956123
Title: ScienceDirect

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/books-and-journals/book-series
Title: Book series(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://service.elsevier.com/app/answers/detail/a_id/7122/c/10535/supporthub/ecommerce/
Title: eBook format help(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://account.elsevier.com/auth
Title: My account(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://service.elsevier.com/app/answers/list/c/10539/supporthub/ecommerce/
Title: Returns & refunds(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://service.elsevier.com/app/answers/list/c/10538/supporthub/ecommerce/
Title: Shipping & delivery(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://service.elsevier.com/app/answers/list/c/10537/supporthub/ecommerce/
Title: Subscriptions & renewals(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://service.elsevier.com/app/home/supporthub/ecommerce/
Title: Support & contact(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.clinicalkey.com/
Title: ClinicalKey(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/solutions/evolve
Title: Evolve(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/solutions/mendeley
Title: Mendeley(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/solutions/knovel-engineering-information
Title: Knovel(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/solutions/reaxys
Title: Reaxys(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/solutions/sciencedirect
Title: ScienceDirect(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/about
Title: About Elsevier(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/about/careers
Title: Careers(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/about/newsroom
Title: Newsroom(opens in new tab/window)

Search URL Search Domain Scan URL

URL: https://www.linkedin.com/company/elsevier

Search URL Search Domain Scan URL

URL: https://twitter.com/ElsevierConnect

Search URL Search Domain Scan URL

URL: https://www.facebook.com/ElsevierConnect

Search URL Search Domain Scan URL

URL: https://www.youtube.com/c/elsevier/

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/

Search URL Search Domain Scan URL

URL: https://www.relx.com/

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/legal/elsevier-website-terms-and-conditions
Title: Terms & conditions

Search URL Search Domain Scan URL

URL: https://www.elsevier.com/legal/privacy-policy
Title: Privacy policy

Search URL Search Domain Scan URL

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

https://formalverificationbook.com/ HTTP 302
https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3 Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

28 HTTP transactions
2 data transactions

Method
Protocol Status Resource
Path Size
x-fer Time
Latency Type
MIME-Type IP
Location

GET
H2

200

Primary Request 978-0-323-95612-3 Show response
shop.elsevier.com/books/formal-verification/seligman/
Redirect Chain

https://formalverificationbook.com/
https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

170 KB
44 KB

100ms
35ms

Document
text/html

104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

66f4ad759ae4dd8bd461b36c5965d12fef6ed2261861107d62a1fc9505b39d26

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

Accept-Language: de-DE,de;q=0.9;q=0.9
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
sec-ch-ua-mobile: ?0
sec-ch-ua-platform: "Win32"

Response headers

age: 142992
cache-control: public, max-age=14400
cf-cache-status: HIT
cf-ray: 88f540313feebbe3-FRA
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
content-type: text/html; charset=utf-8
date: Thu, 06 Jun 2024 03:17:40 GMT
expires: Thu, 06 Jun 2024 07:17:40 GMT
server: cloudflare
strict-transport-security: max-age=3153600
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
x-nextjs-cache: STALE

Redirect headers

cache-control: no-cache
content-length: 0
content-type: text/html
date: Thu, 06 Jun 2024 03:17:40 GMT
location: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
server: Apache

GET
H2 200 image
shop.elsevier.com/_next/ 7 KB
7 KB 146ms
145ms Image
image/webp 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://shop.elsevier.com/_next/image?url=https%3A%2F%2Fsecure-ecsd.elsevier.com%2Fcovers%2F80%2FTango2%2Flarge%2F9780323956123.jpg&w=256&q=75

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

49361b00237ff79233191398117a10e2868d820d6547febe6b02c2625a696bad

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; frame-src 'none'; sandbox;
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-security-policy: script-src 'none'; frame-src 'none'; sandbox;
strict-transport-security: max-age=3153600
cf-cache-status: DYNAMIC
server: cloudflare
etag: STYbACN-95IzGROYEXoQ4oaNgg1lR-6+awLCYlppa60=
vary: Accept
x-frame-options: SAMEORIGIN
content-type: image/webp
x-nextjs-cache: STALE
cache-control: public, max-age=60, must-revalidate
content-disposition: inline; filename="9780323956123.webp"
cf-ray: 88f540319824bbe3-FRA
content-length: 6880

GET
H2 200 2d9aa44c4e49cbca.css
shop.elsevier.com/_next/static/css/ 210 KB
28 KB 53ms
53ms Stylesheet
text/css 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

71b5fa30688b2a98a9be42725aa97c49c282bbcbdd67d482065bd2dac17a773a

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:37 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143653
etag: W/"3471c-18fe2dd7b89"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: text/css; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f540319822bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 webpack-41e4e2d1eb0c0667.js Show response
shop.elsevier.com/_next/static/chunks/ 2 KB
3 KB 55ms
53ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/webpack-41e4e2d1eb0c0667.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

81525c55bb514d6d67b81ca598fc0c77002ab908cf9e7fc0c8eb153f4a332b7c

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143722
etag: W/"98b-18fe2dd7b69"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f540319827bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 framework-cab2f4c817651af5.js Show response
shop.elsevier.com/_next/static/chunks/ 206 KB
66 KB 55ms
54ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/framework-cab2f4c817651af5.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

6c47b33e910c8f31c50d0f2e3c0eb34db92b45466ba457499f277206e19752fe

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143722
etag: W/"337d9-18fe2dd7a5f"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f54031982bbbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 main-14cc3ff4f9072608.js Show response
shop.elsevier.com/_next/static/chunks/ 119 KB
36 KB 54ms
53ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/main-14cc3ff4f9072608.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

f314d974839d215ab0aa181a1bcaf6c05578ed858959aed258b7bda3b23e65f1

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143722
etag: W/"1da2e-18fe2dd7a7d"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f54031982dbbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 _app-67d150e436f708b0.js Show response
shop.elsevier.com/_next/static/chunks/pages/ 2 MB
414 KB 33ms
32ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/pages/_app-67d150e436f708b0.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

e6d2d8a463a6a0b71a8aa476f5ad0e0c7ccb2edf2c1ce08125149857ef993827

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143653
etag: W/"18ef50-18fe2dd7adf"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f54031982ebbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 %5Bisbn%5D-74ce7f1890469de3.js Show response
shop.elsevier.com/_next/static/chunks/pages/books/%5Btitle%5D/%5Bcontributor%5D/ 3 KB
1 KB 55ms
54ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/pages/books/%5Btitle%5D/%5Bcontributor%5D/%5Bisbn%5D-74ce7f1890469de3.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

6b2c893fb989f553fe52a02fe2c370050783304119dc963c1af4eb23148d20f1

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143544
etag: W/"c37-18fe2dd7b06"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f540319830bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 _buildManifest.js Show response
shop.elsevier.com/_next/static/VN3tDmd8WWMZeBq1HZJTS/ 1 KB
635 B 53ms
52ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/VN3tDmd8WWMZeBq1HZJTS/_buildManifest.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

192936333d1c170373e24d31aa68c946af8305c4e83b5c627fddedba65d62f97

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143653
etag: W/"5a5-18fe2dd7a25"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f540319831bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
H2 200 _ssgManifest.js Show response
shop.elsevier.com/_next/static/VN3tDmd8WWMZeBq1HZJTS/ 221 B
218 B 53ms
53ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/VN3tDmd8WWMZeBq1HZJTS/_ssgManifest.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

cf9fd1cd84aeadeffb8c9690cb1ee10d8d5ab64032cdbf1da9384f102e014406

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
content-encoding: gzip
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
cf-cache-status: HIT
age: 143653
etag: W/"dd-18fe2dd7a33"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-ray: 88f540319832bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:40 GMT

GET
DATA 200
OK truncated
/ 80 B
0 Image
image/svg+xml

General

Check archive.org

Show headers Download Go to Show image

Full URL: data:truncated
Protocol: DATA
Server: -, , ASN (),
Reverse DNS
Software: /
Resource Hash: 9029d0b9fed8d93148b777fbdc6a3a4f2f3e861684dd30d04a83b842c8ad8fd9

Request headers

Accept-Language: de-DE,de;q=0.9;q=0.9
Referer
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36

Response headers

Content-Type: image/svg+xml

GET
H2 200 book-promo-banner3.png
images.ctfassets.net/ahaoy9whsr8a/3hh8459sY2nXIBbSiKJFQm/ed36678e72516d39f8a78ab741be67ec/ 14 KB
14 KB 79ms
20ms Image
image/webp 2600:9000:235a:5e00:12:94b3:c380:93a1
AMAZON-02

General

Check archive.org

Show headers Download Go to Show image

Full URL: https://images.ctfassets.net/ahaoy9whsr8a/3hh8459sY2nXIBbSiKJFQm/ed36678e72516d39f8a78ab741be67ec/book-promo-banner3.png?fm=webp&w=828&q=75
Requested by: Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 2600:9000:235a:5e00:12:94b3:c380:93a1 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
Software: Contentful Images API /
Resource Hash: c0b1e9416ad38a84222379b4b1d97f3c1819529dd349876d48d54ce03099bd3f

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 01:14:22 GMT
via: 1.1 abf16b943a9b4039b87ccdb094d9303e.cloudfront.net (CloudFront)
last-modified: Tue, 28 May 2024 00:47:15 GMT
server: Contentful Images API
x-amz-cf-pop: FRA60-P9
age: 7398
etag: "5f39d3fea0c5b24710dffdf8f9b65fdd"
vary: Accept-Encoding
x-cache: Hit from cloudfront
content-type: image/webp
access-control-allow-origin: *
cache-control: max-age=31536000
content-length: 13952
x-amz-cf-id: XdIjIjeVr33q2fgA-1Y7WIJUIWrnRVCWuBv7UV5OxoXFvC_0mEQDZw==

GET
H2 200 vc733d5f01de84e3792a4035cd15c58a81717452547180 Show response
static.cloudflareinsights.com/beacon.min.js/ 20 KB
7 KB 97ms
52ms Script
text/javascript 2606:4700::6810:4f49
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL: https://static.cloudflareinsights.com/beacon.min.js/vc733d5f01de84e3792a4035cd15c58a81717452547180
Requested by: Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 2606:4700::6810:4f49 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software: cloudflare /
Resource Hash: 642aff235fab8d0f59d68d579d67cb9657fcae53e7cf555fb025a20ed78a6e3b

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/
Origin: https://shop.elsevier.com
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
last-modified: Mon, 03 Jun 2024 22:09:07 GMT
server: cloudflare
etag: W/"2024.6.0"
vary: Accept-Encoding
content-type: text/javascript;charset=UTF-8
access-control-allow-origin: *
cache-control: public, max-age=86400
cross-origin-resource-policy: cross-origin
cf-ray: 88f54031eb6403f0-FRA

GET
H2 200 ElsevierSansWeb-Regular.woff2
shop.elsevier.com/fonts/ 34 KB
34 KB 88ms
88ms Font
font/woff2 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/fonts/ElsevierSansWeb-Regular.woff2

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

c6bde97479f2f61c8c7f6e40854c1603e576f225c04258b907af78da235cf23d

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css
Origin: https://shop.elsevier.com
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"87a0-18fe2d15240"
x-frame-options: SAMEORIGIN
vary: Accept-Encoding
content-type: font/woff2
cache-control: public, max-age=14400
accept-ranges: bytes
cf-ray: 88f5403238b4bbe3-FRA
content-length: 34720
expires: Thu, 06 Jun 2024 07:17:40 GMT

GET
H2 200 ElsevierSansWeb-Light.woff2
shop.elsevier.com/fonts/ 34 KB
34 KB 61ms
61ms Font
font/woff2 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/fonts/ElsevierSansWeb-Light.woff2

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

3ea5756fdb369e2a8eecf762540d1314511548e7fb0ae1972bd784747e3d7e72

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css
Origin: https://shop.elsevier.com
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"8874-18fe2d15240"
x-frame-options: SAMEORIGIN
vary: Accept-Encoding
content-type: font/woff2
cache-control: public, max-age=14400
accept-ranges: bytes
cf-ray: 88f5403238b5bbe3-FRA
content-length: 34932
expires: Thu, 06 Jun 2024 07:17:40 GMT

GET
H2 200 elsevier-logo.svg
shop.elsevier.com/images/ 26 KB
9 KB 62ms
62ms Image
image/svg+xml 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://shop.elsevier.com/images/elsevier-logo.svg

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

bbc6c8d90e019ad743eccf71ddb7821dc40faace89b20e9003a41dbc00ce46e6

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
strict-transport-security: max-age=3153600
etag: W/"672c-18fe2d15240"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: image/svg+xml
cache-control: public, max-age=14400
cf-cache-status: MISS
cf-ray: 88f5403228a0bbe3-FRA
expires: Thu, 06 Jun 2024 07:17:40 GMT

GET
H2 200 elsevier-logo-white.svg
shop.elsevier.com/images/ 26 KB
11 KB 66ms
66ms Image
image/svg+xml 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://shop.elsevier.com/images/elsevier-logo-white.svg

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

0e31c31ab5c45ad55e2bcf5db89de2d794d149005575e3a23f83bd1df045d7cb

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
strict-transport-security: max-age=3153600
etag: W/"66e7-18fe2d15240"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: image/svg+xml
cache-control: public, max-age=14400
cf-cache-status: MISS
cf-ray: 88f5403228a2bbe3-FRA
expires: Thu, 06 Jun 2024 07:17:40 GMT

GET
H2 200 relx-logo.svg
shop.elsevier.com/images/ 718 B
513 B 63ms
63ms Image
image/svg+xml 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://shop.elsevier.com/images/relx-logo.svg

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

e0bfc4df8fab2c543d13522b358467641595577142aedec468f7d8c99e2df800

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:40 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
content-encoding: gzip
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"2ce-18fe2d15240"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: image/svg+xml
cache-control: public, max-age=14400
cf-ray: 88f5403228a3bbe3-FRA
expires: Thu, 06 Jun 2024 07:17:40 GMT

GET
H2 200 prices Show response
shop.elsevier.com/api/ 1 KB
2 KB 210ms
209ms Fetch
application/json 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/api/prices?skus=EST_GLB_BS-SKU-9780323956123_Physical&skus=EST_GLB_BS-SKU-9780323956130_SDRM&country=US

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

e5f40a03bdd16a2c5a86aaa40e53f6538179a5e52eff1a46d0cc75587a45e297

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
tracestate: 2038175@nr=0-1-3344122-1588666277-3237eb2d3e27934a----1717643860967
traceparent: 00-dfc910cfe458971a7262a2f47a80fd4c-3237eb2d3e27934a-01
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
newrelic: eyJ2IjpbMCwxXSwiZCI6eyJ0eSI6IkJyb3dzZXIiLCJhYyI6IjMzNDQxMjIiLCJhcCI6IjE1ODg2NjYyNzciLCJpZCI6IjMyMzdlYjJkM2UyNzkzNGEiLCJ0ciI6ImRmYzkxMGNmZTQ1ODk3MWE3MjYyYTJmNDdhODBmZDRjIiwidGkiOjE3MTc2NDM4NjA5NjcsInRrIjoiMjAzODE3NSJ9fQ==
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
cf-cache-status: DYNAMIC
server: cloudflare
strict-transport-security: max-age=3153600
etag: "z87bn3kfshvg"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/json; charset=utf-8
cf-ray: 88f540331973bbe3-FRA

GET
H2 200 nr-spa-1.257.0.min.js Show response
js-agent.newrelic.com/ 106 KB
34 KB 68ms
19ms Script
application/javascript 2602:816:5001::39
FASTLY

General

Check archive.org

Show headers Download Go to

Full URL

https://js-agent.newrelic.com/nr-spa-1.257.0.min.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2602:816:5001::39 , United States, ASN54113 (FASTLY, US),

Reverse DNS

Software

AmazonS3 /

Resource Hash

949dd8b079ca0ab786c81d7c167da40fea9cd0c89b43b185bc9e58442f6b46b8

Security Headers

Name	Value
Strict-Transport-Security	max-age=300

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/
Origin: https://shop.elsevier.com
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

x-amz-version-id: 8lx2yHKebisc5tgqY1i.rEOm4AHzJoDM
content-encoding: br
via: 1.1 varnish
date: Thu, 06 Jun 2024 03:17:41 GMT
strict-transport-security: max-age=300
x-amz-request-id: SXZZZHE6NHMJP505
x-amz-server-side-encryption: AES256
x-cache: HIT
cross-origin-resource-policy: cross-origin
content-length: 34476
x-amz-id-2: udMbZ65RJh8H96Dg8fe7vkfZsXf767fj7DZdp4VToCqcGeoF6pUZNMVVMBXFQJUK0YBSQeb3XPE=
x-served-by: cache-fra-eddf8230059-FRA
last-modified: Fri, 19 Apr 2024 00:43:41 GMT
server: AmazonS3
etag: "34409e01359ee8c8db0c50eb0d12e36c"
vary: Accept-Encoding
content-type: application/javascript
access-control-allow-origin: *
cache-control: public, max-age=31536000, stale-while-revalidate=86400, stale-if-error=86400
accept-ranges: bytes
x-cache-hits: 36352

GET
DATA 200
OK truncated
/ 80 B
0 Image
image/svg+xml

General

Check archive.org

Show headers Download Go to Show image

Full URL: data:truncated
Protocol: DATA
Server: -, , ASN (),
Reverse DNS
Software: /
Resource Hash: 1babb9cf5761cc0d85810e3984b8cdd2def9b747ce36d3e20bbf3725d0aa1202

Request headers

Accept-Language: de-DE,de;q=0.9;q=0.9
Referer
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36

Response headers

Content-Type: image/svg+xml

POST
H2 204 rum Show response
shop.elsevier.com/cdn-cgi/ 0
195 B 22ms
22ms XHR
text/plain 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/cdn-cgi/rum?

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Frame-Options	DENY

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
tracestate: 2038175@nr=0-1-3344122-1588666277-c949e7470ff9c76e----1717643861016
traceparent: 00-d50132961cda53c3b48fc34980127bac-c949e7470ff9c76e-01
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
newrelic: eyJ2IjpbMCwxXSwiZCI6eyJ0eSI6IkJyb3dzZXIiLCJhYyI6IjMzNDQxMjIiLCJhcCI6IjE1ODg2NjYyNzciLCJpZCI6ImM5NDllNzQ3MGZmOWM3NmUiLCJ0ciI6ImQ1MDEzMjk2MWNkYTUzYzNiNDhmYzM0OTgwMTI3YmFjIiwidGkiOjE3MTc2NDM4NjEwMTYsInRrIjoiMjAzODE3NSJ9fQ==
content-type: application/json
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
x-content-type-options: nosniff
server: cloudflare
vary: Origin
access-control-max-age: 86400
access-control-allow-methods: POST,OPTIONS
access-control-allow-origin: https://shop.elsevier.com
x-frame-options: DENY
access-control-allow-credentials: true
cf-ray: 88f5403369a1bbe3-FRA

GET
H2 200 search-37376958ea118130.js
shop.elsevier.com/_next/static/chunks/pages/ 0
2 KB 35ms
35ms Other
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/pages/search-37376958ea118130.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
strict-transport-security: max-age=3153600
age: 143544
etag: W/"cda-18fe2dd7b21"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-cache-status: HIT
cf-ray: 88f5403379b1bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:41 GMT

GET
H2 200 elsevier-favicon.svg
shop.elsevier.com/images/ 598 B
533 B 138ms
138ms Other
image/svg+xml 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/images/elsevier-favicon.svg

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

3208957f17c9075920213ec0361da63fc25754b9c9d72586d3103fa7f09e3add

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
content-encoding: gzip
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"256-18fe2d15240"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: image/svg+xml
cache-control: public, max-age=14400
cf-ray: 88f5403379b3bbe3-FRA
expires: Thu, 06 Jun 2024 07:17:41 GMT

GET
H2 200 elsevier-favicon.svg
shop.elsevier.com/images/ 598 B
0 134ms
134ms Other
image/svg+xml 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/images/elsevier-favicon.svg

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

3208957f17c9075920213ec0361da63fc25754b9c9d72586d3103fa7f09e3add

Security Headers

Name

Value

Content-Security-Policy

default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com

X-Frame-Options

SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
content-encoding: gzip
cf-cache-status: MISS
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
etag: W/"256-18fe2d15240"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: image/svg+xml
cache-control: public, max-age=14400
cf-ray: 88f5403379b3bbe3-FRA
expires: Thu, 06 Jun 2024 07:17:41 GMT

GET
H2 200 search-37376958ea118130.js Show response
shop.elsevier.com/_next/static/chunks/pages/ 3 KB
0 16ms
16ms Script
application/javascript 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/_next/static/chunks/pages/search-37376958ea118130.js

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

41e62df57401ae7ceb0d4a4a4acac5b9e9ab44870377f72bd19d5ae8661089fe

Security Headers

Name

Value

Content-Security-Policy

X-Frame-Options

SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-encoding: gzip
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
last-modified: Tue, 04 Jun 2024 10:48:36 GMT
server: cloudflare
cf-cache-status: HIT
age: 143544
etag: W/"cda-18fe2dd7b21"
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
content-type: application/javascript; charset=UTF-8
cache-control: public, max-age=31536000
cf-ray: 88f5403379b1bbe3-FRA
expires: Fri, 06 Jun 2025 03:17:41 GMT

POST
H/1.1 200 NRJS-8ad1606bcb8deff2157 Show response
bam.nr-data.net/1/ 151 B
602 B 282ms
230ms XHR
text/plain 162.247.243.29
FASTLY

General

Check archive.org

Show headers Download Go to

Full URL: https://bam.nr-data.net/1/NRJS-8ad1606bcb8deff2157?a=1588681229&sa=1&v=1.257.0&t=Unnamed%20Transaction&rst=964&ck=0&s=0&ref=https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3&af=err,xhr,stn,ins,spa&be=583&fe=296&dc=270&perf=%7B%22timing%22:%7B%22of%22:1717643860122,%22n%22:0,%22f%22:481,%22dn%22:504,%22dne%22:504,%22c%22:504,%22s%22:522,%22ce%22:549,%22rq%22:549,%22rp%22:584,%22rpe%22:591,%22di%22:611,%22ds%22:853,%22de%22:853,%22dc%22:877,%22l%22:877,%22le%22:879%7D,%22navigation%22:%7B%7D%7D&fp=714&fcp=714
Requested by: Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Protocol: HTTP/1.1
Security: TLS 1.3, , AES_128_GCM
Server: 162.247.243.29 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software: /
Resource Hash: 2285df910b7c5a6bcdd1cdf2a5c7f10af6767696be5088e4dbe4ec3e0647d61f

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
sec-ch-ua-platform: "Win32"
Referer: https://shop.elsevier.com/
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
content-type: text/plain

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
access-control-allow-methods: GET, POST, PUT, HEAD, OPTIONS
content-type: text/plain
access-control-allow-origin: https://shop.elsevier.com
access-control-expose-headers: Date
access-control-allow-credentials: true
cross-origin-resource-policy: cross-origin
Connection: keep-alive
timing-allow-origin: https://shop.elsevier.com
Content-Length: 151
x-served-by: cache-fra-eddf8230032-FRA

GET
H2 200 elsevier-favicon.png
shop.elsevier.com/images/ 360 B
448 B 141ms
141ms Other
image/png 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/images/elsevier-favicon.png

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

9f1a7d9b1d1d613930cd5014d096f093aa17c597a0ac2ea9408f92ae687af55d

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"168-18fe2d15240"
x-frame-options: SAMEORIGIN
vary: Accept-Encoding
content-type: image/png
cache-control: public, max-age=14400
accept-ranges: bytes
cf-ray: 88f540345a45bbe3-FRA
content-length: 360
expires: Thu, 06 Jun 2024 07:17:41 GMT

GET
H2 200 ElsevierSansWeb-Bold.woff2
shop.elsevier.com/fonts/ 34 KB
34 KB 56ms
56ms Font
font/woff2 104.16.57.61
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://shop.elsevier.com/fonts/ElsevierSansWeb-Bold.woff2

Requested by

Host: shop.elsevier.com
URL: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

104.16.57.61 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

5a15acaadcaf1439abbf01f79e39ac1d91b2158360d2eb00c2acaa47bac5f5c2

Security Headers

Name	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
Referer: https://shop.elsevier.com/_next/static/css/2d9aa44c4e49cbca.css
Origin: https://shop.elsevier.com
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
sec-ch-ua-platform: "Win32"

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
content-security-policy: default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ *.notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ *.snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
strict-transport-security: max-age=3153600
last-modified: Tue, 04 Jun 2024 10:35:20 GMT
server: cloudflare
cf-cache-status: MISS
etag: W/"8744-18fe2d15240"
x-frame-options: SAMEORIGIN
vary: Accept-Encoding
content-type: font/woff2
cache-control: public, max-age=14400
accept-ranges: bytes
cf-ray: 88f540349a6dbbe3-FRA
content-length: 34628
expires: Thu, 06 Jun 2024 07:17:41 GMT

POST
H/1.1 200 NRJS-8ad1606bcb8deff2157 Show response
bam.nr-data.net/events/1/ 24 B
344 B 121ms
121ms XHR
image/gif 162.247.243.29
FASTLY

General

Check archive.org

Show headers Download Go to

Full URL: https://bam.nr-data.net/events/1/NRJS-8ad1606bcb8deff2157?a=1588681229&sa=1&v=1.257.0&t=Unnamed%20Transaction&rst=1255&ck=0&s=0&ref=https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Requested by: Host: shop.elsevier.com
URL: https://shop.elsevier.com/books/formal-verification/seligman/978-0-323-95612-3
Protocol: HTTP/1.1
Security: TLS 1.3, , AES_128_GCM
Server: 162.247.243.29 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software: /
Resource Hash: 0c9cf152a0ad00d4f102c93c613c104914be5517ac8f8e0831727f8bfbe8b300

Request headers

sec-ch-ua: "Google Chrome";v="125", "Not:A-Brand";v="8", "Chromium";v="125"
sec-ch-ua-platform: "Win32"
Referer: https://shop.elsevier.com/
Accept-Language: de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile: ?0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/125.0.0.0 Safari/537.36
content-type: text/plain

Response headers

date: Thu, 06 Jun 2024 03:17:41 GMT
access-control-allow-methods: GET, POST, PUT, HEAD, OPTIONS
content-type: image/gif
access-control-allow-origin: https://shop.elsevier.com
access-control-allow-credentials: true
Connection: keep-alive
Content-Length: 24
x-served-by: cache-fra-eddf8230032-FRA

Verdicts & Comments Add Verdict or Comment

19 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

2 Cookies

Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.

			Domain/Path	Expires	Name / Value
			.elsevier.com/	1970-01-20 21:07:25	Name: __cf_bm Value: ij4kvWCJfBmDyKpO_gzN9O52IdF_loRXz7he3YpjjkU-1717643860-1.0.1.1-c.u9hOo7VNAzu6XWHrFd.STZfFNIdt5jH_SZ3aEbYWexlgDSAhFvLvGQCfbBLcGhpN_PMYrpuNPtikgVxzTvpw
			shop.elsevier.com/	1969-12-31 23:59:59	Name: ecom-cf-ipcountry Value: DE

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header	Value
Content-Security-Policy	default-src 'self'; script-src 'self' 'unsafe-eval' 'unsafe-inline' https://cdn.cookielaw.org https://static.cloudflareinsights.com https://assets.adobedtm.com https://js-agent.newrelic.com https://bam.nr-data.net/ https://www.googletagmanager.com https://tag.demandbase.com https://googleads.g.doubleclick.net https://connect.facebook.net https://snap.licdn.com https://pi.pardot.com https://static.ads-twitter.com https://go.elsevier.com https://cdn.pendo.io/ https://data.pendo.io/; style-src 'self' 'unsafe-inline'; img-src 'self' https://covers.elsevier.com http://images.ctfassets.net https://images.ctfassets.net https://smetrics.elsevier.com/ http://metrics.elsevier.com/ https://cm.everesttech.net https://cdn.cookielaw.org/ http://secure-ecsd.elsevier.com https://secure-ecsd.elsevier.com https://dpm.demdex.net/ https://px.ads.linkedin.com https://www.google.com https://www.google.co.uk https://t.co https://analytics.twitter.com https://id.rlcdn.com https://www.facebook.com https://www.googletagmanager.com https://data.pendo.io/ data:; font-src 'self'; connect-src 'self' https://cdn.cookielaw.org https://geolocation.onetrust.com https://privacyportal.onetrust.com https://dpm.demdex.net/ http://elsevierlimited.tt.omtrdc.net/ https://smetrics.elsevier.com/ https://bam.nr-data.net/ .notify.elsevier.com https://region1.google-analytics.com/ https://region1.analytics.google.com/ .snplow.net https://account.elsevier.com https://account.staging.ecommerce.elsevier.com http://metrics.elsevier.com https://cdn.linkedin.oribi.io https://api.company-target.com https://www.google-analytics.com https://cookies-data.onetrust.io https://data.pendo.io/; media-src 'self' http://videos.ctfassets.net https://videos.ctfassets.net http://assets.ctfassets.net https://assets.ctfassets.net; object-src 'none'; frame-src 'self' http://elsevierlimited.tt.omtrdc.net https://campaigns.elsevier.com https://www.googletagmanager.com https://elsevier.demdex.net; base-uri 'self'; frame-ancestors 'self' https://app.contentful.com
Strict-Transport-Security	max-age=3153600
X-Frame-Options	SAMEORIGIN

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

bam.nr-data.net
formalverificationbook.com
images.ctfassets.net
js-agent.newrelic.com
shop.elsevier.com
static.cloudflareinsights.com
104.16.57.61
162.247.243.29
2600:9000:235a:5e00:12:94b3:c380:93a1
2602:816:5001::39
2606:4700::6810:4f49
2607:f1c0:100f:f000::297
0c9cf152a0ad00d4f102c93c613c104914be5517ac8f8e0831727f8bfbe8b300
0e31c31ab5c45ad55e2bcf5db89de2d794d149005575e3a23f83bd1df045d7cb
192936333d1c170373e24d31aa68c946af8305c4e83b5c627fddedba65d62f97
1babb9cf5761cc0d85810e3984b8cdd2def9b747ce36d3e20bbf3725d0aa1202
2285df910b7c5a6bcdd1cdf2a5c7f10af6767696be5088e4dbe4ec3e0647d61f
3208957f17c9075920213ec0361da63fc25754b9c9d72586d3103fa7f09e3add
3ea5756fdb369e2a8eecf762540d1314511548e7fb0ae1972bd784747e3d7e72
41e62df57401ae7ceb0d4a4a4acac5b9e9ab44870377f72bd19d5ae8661089fe
49361b00237ff79233191398117a10e2868d820d6547febe6b02c2625a696bad
5a15acaadcaf1439abbf01f79e39ac1d91b2158360d2eb00c2acaa47bac5f5c2
642aff235fab8d0f59d68d579d67cb9657fcae53e7cf555fb025a20ed78a6e3b
66f4ad759ae4dd8bd461b36c5965d12fef6ed2261861107d62a1fc9505b39d26
6b2c893fb989f553fe52a02fe2c370050783304119dc963c1af4eb23148d20f1
6c47b33e910c8f31c50d0f2e3c0eb34db92b45466ba457499f277206e19752fe
71b5fa30688b2a98a9be42725aa97c49c282bbcbdd67d482065bd2dac17a773a
81525c55bb514d6d67b81ca598fc0c77002ab908cf9e7fc0c8eb153f4a332b7c
9029d0b9fed8d93148b777fbdc6a3a4f2f3e861684dd30d04a83b842c8ad8fd9
949dd8b079ca0ab786c81d7c167da40fea9cd0c89b43b185bc9e58442f6b46b8
9f1a7d9b1d1d613930cd5014d096f093aa17c597a0ac2ea9408f92ae687af55d
bbc6c8d90e019ad743eccf71ddb7821dc40faace89b20e9003a41dbc00ce46e6
c0b1e9416ad38a84222379b4b1d97f3c1819529dd349876d48d54ce03099bd3f
c6bde97479f2f61c8c7f6e40854c1603e576f225c04258b907af78da235cf23d
cf9fd1cd84aeadeffb8c9690cb1ee10d8d5ab64032cdbf1da9384f102e014406
e0bfc4df8fab2c543d13522b358467641595577142aedec468f7d8c99e2df800
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e5f40a03bdd16a2c5a86aaa40e53f6538179a5e52eff1a46d0cc75587a45e297
e6d2d8a463a6a0b71a8aa476f5ad0e0c7ccb2edf2c1ce08125149857ef993827
f314d974839d215ab0aa181a1bcaf6c05578ed858959aed258b7bda3b23e65f1

shop.elsevier.com Open in urlscan Pro 104.16.57.61 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page Title

Page URL History Show full URLs

Detected technologies

Page Statistics

28 Requests

100 %HTTPS

67 %IPv6

6 Domains

6 Subdomains

6 IPs

2 Countries

783 kBTransfer

2613 kBSize

2 Cookies

31 Outgoing links

Page URL History

Redirected requests

28 HTTP transactions Everything HTML Script AJAX CSS Image Expand all 2 data transactions

Request headers

Response headers

Redirect headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

shop.elsevier.com Open in urlscan Pro
104.16.57.61 Public Scan

Screenshot
Live screenshot

Full Image

28
Requests

100 %
HTTPS

67 %
IPv6

6
Domains

6
Subdomains

6
IPs

2
Countries

783 kB
Transfer

2613 kB
Size

2
Cookies

28 HTTP transactions
2 data transactions