inf.mit.bme.hu
Open in
urlscan Pro
152.66.252.223
Public Scan
Effective URL: https://inf.mit.bme.hu/research/tools/petridotnet
Submission: On November 14 via api from US — Scanned from DE
Summary
TLS certificate: Issued by Sectigo RSA Domain Validation Secure ... on January 29th 2022. Valid for: a year.
This is the only time inf.mit.bme.hu was scanned on urlscan.io!
urlscan.io Verdict: No classification
Domain & IP information
IP Address | AS Autonomous System | ||
---|---|---|---|
1 18 | 152.66.252.223 152.66.252.223 | 2547 (BMENET-AS...) (BMENET-AS Budapest University of Technology and Economics) | |
17 | 1 |
ASN2547 (BMENET-AS Budapest University of Technology and Economics, HU)
PTR: celeborn.mit.bme.hu
petridotnet.inf.mit.bme.hu | |
www.inf.mit.bme.hu | |
inf.mit.bme.hu |
Apex Domain Subdomains |
Transfer | |
---|---|---|
18 |
bme.hu
1 redirects
petridotnet.inf.mit.bme.hu www.inf.mit.bme.hu inf.mit.bme.hu |
350 KB |
17 | 1 |
Domain | Requested by | |
---|---|---|
14 | inf.mit.bme.hu |
inf.mit.bme.hu
|
3 | petridotnet.inf.mit.bme.hu |
inf.mit.bme.hu
|
1 | www.inf.mit.bme.hu | 1 redirects |
17 | 3 |
This site contains links to these domains. Also see Links.
Domain |
---|
www.mit.bme.hu |
www.bme.hu |
petridotnet.inf.mit.bme.hu |
www.inf.u-szeged.hu |
www.sztaki.hu |
www.inf.mit.bme.hu |
webspn.hit.bme.hu |
Subject Issuer | Validity | Valid | |
---|---|---|---|
inf.mit.bme.hu Sectigo RSA Domain Validation Secure Server CA |
2022-01-29 - 2023-02-05 |
a year | crt.sh |
This page contains 1 frames:
Primary Page:
https://inf.mit.bme.hu/research/tools/petridotnet
Frame ID: 3A9BFD4908938DCD48AB82B11CD82E0F
Requests: 17 HTTP requests in this frame
Screenshot
Page Title
PetriDotNet | Hibatűrő Rendszerek KutatócsoportPage URL History Show full URLs
-
http://petridotnet.inf.mit.bme.hu/
HTTP 307
https://petridotnet.inf.mit.bme.hu/ Page URL
-
http://www.inf.mit.bme.hu/research/tools/petridotnet
HTTP 307
https://www.inf.mit.bme.hu/research/tools/petridotnet HTTP 302
https://inf.mit.bme.hu/research/tools/petridotnet Page URL
Detected technologies
Drupal (CMS) ExpandDetected patterns
- <(?:link|style)[^>]+"/sites/(?:default|all)/(?:themes|modules)/
Page Statistics
21 Outgoing links
These are links going to different origins than the main page.
Title: Méréstechnika és Információs Rendszerek Tanszék
Search URL Search Domain Scan URL
Search URL Search Domain Scan URL
Title: PetriDotNet -- Formális módszerek tárgy szorgalmi feladatához
Search URL Search Domain Scan URL
Title: Felhasználói dokumentáció
Search URL Search Domain Scan URL
Title: PetriDotNet -- teljes változat, analízis eszközökkel
Search URL Search Domain Scan URL
Title: Felhasználói dokumentáció
Search URL Search Domain Scan URL
Title: examples.zip
Search URL Search Domain Scan URL
Title: PetriDotNet -- PLTL modellellenőrző (2013. évi TDK)
Search URL Search Domain Scan URL
Title: Elosztott feladatkezelő keretrendszer mérések futtatásához
Search URL Search Domain Scan URL
Title: Kapcsolódó szakdolgozat
Search URL Search Domain Scan URL
Title: Referenciák teljes listája (letölthető formában)
Search URL Search Domain Scan URL
Title: New search strategies for the Petri net CEGAR approach.
Search URL Search Domain Scan URL
Title: Saturation-based incremental LTL model checking with inductive proofs.
Search URL Search Domain Scan URL
Title: Extensions to the CEGAR Approach on Petri Nets
Search URL Search Domain Scan URL
Title: Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
Search URL Search Domain Scan URL
Title: Bounded saturation-based CTL model checking
Search URL Search Domain Scan URL
Title: Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking
Search URL Search Domain Scan URL
Title: Parallel Saturation Based Model Checking
Search URL Search Domain Scan URL
Title: dr. Bartha Tamás
Search URL Search Domain Scan URL
Title: dr. Horváth Ákos
Search URL Search Domain Scan URL
Title: dr. Telek Miklós
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.
-
http://petridotnet.inf.mit.bme.hu/
HTTP 307
https://petridotnet.inf.mit.bme.hu/ Page URL
-
http://www.inf.mit.bme.hu/research/tools/petridotnet
HTTP 307
https://www.inf.mit.bme.hu/research/tools/petridotnet HTTP 302
https://inf.mit.bme.hu/research/tools/petridotnet Page URL
Redirected requests
There were HTTP redirect chains for the following requests:
Request Chain 0- http://petridotnet.inf.mit.bme.hu/ HTTP 307
- https://petridotnet.inf.mit.bme.hu/
17 HTTP transactions
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H/1.1 |
/
petridotnet.inf.mit.bme.hu/ Redirect Chain
|
127 B 470 B |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
Primary Request
petridotnet
inf.mit.bme.hu/research/tools/ Redirect Chain
|
30 KB 9 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
favicon.ico
petridotnet.inf.mit.bme.hu/ |
302 B 508 B |
Other
text/html |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
css_6026830abe7b1c9ca21accd03ef16479.css
inf.mit.bme.hu/sites/default/files/css/ |
78 KB 14 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
js_7980568b748596aa8bec77289d4b1bbe.js
inf.mit.bme.hu/sites/default/files/js/ |
156 KB 45 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
ftsrg_logo.png
inf.mit.bme.hu/sites/default/files/ |
2 KB 3 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
bme.png
inf.mit.bme.hu/sites/all/themes/ftsrg/images/ |
5 KB 5 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
pdn_collage.jpg
petridotnet.inf.mit.bme.hu/ |
240 KB 241 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
en.png
inf.mit.bme.hu/sites/all/themes/ftsrg/images/ |
9 KB 9 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
hu.png
inf.mit.bme.hu/sites/all/themes/ftsrg/images/ |
8 KB 8 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
bme.png
inf.mit.bme.hu/sites/default/files/ |
5 KB 5 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
css_3b6a6999004408fac8a1251c499553cd.css
inf.mit.bme.hu/sites/default/files/css/ |
707 B 700 B |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
ftsrg_logo.png
inf.mit.bme.hu/sites/default/files/ |
2 KB 3 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
menu-leaf.png
inf.mit.bme.hu/misc/ |
194 B 484 B |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
menu-expanded.png
inf.mit.bme.hu/misc/ |
106 B 396 B |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
menu-collapsed.png
inf.mit.bme.hu/misc/ |
108 B 398 B |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
ftsrg_favicon.ico
inf.mit.bme.hu/sites/default/files/ |
5 KB 6 KB |
Other
image/x-icon |
||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
Verdicts & Comments Add Verdict or Comment
9 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.
object| Drupal object| Lightbox function| $ function| jQuery function| viewsSlideshowSingleFramePause function| viewsSlideshowSingleFrameResume function| viewsSlideshowThumbnailHoverPause function| viewsSlideshowThumbnailHoverResume function| sfHover2 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 |
---|---|---|
.inf.mit.bme.hu/ | Name: SESS9e78ffbb8fcc95ad7d520ce14128ecb7 Value: 3l5ip45eqnej3j4mn7nngr16u7 |
|
inf.mit.bme.hu/ | Name: has_js Value: 1 |
4 Console Messages
A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.
Source | Level | URL Text |
---|
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.
inf.mit.bme.hu
petridotnet.inf.mit.bme.hu
www.inf.mit.bme.hu
152.66.252.223
58834fa7bdb9a98203b14bc0428fcb43b83aedc137b3847ee39b1cfaa1a51f21
6b1bcc0e613a1f70e8ffc612e8ed39ecb64ae730aa82c580c13508ec4c3734bf
71044970e802b0cf12ff5cb2e20a5910192e473a2968385f99c2987d3a4d0231
81654351f70f585066684da634f0d079a712dcd9199cf11da683af65f71c54eb
9e705f3783a7d7ec8bb7da6c3eba34ab3b0b4b81f3c6ee7450ab4e3b1a47374b
add8d7380e2afe98094c898dca51278aae9b337e5c92503ce91c6eb3827ac3fb
b1ae73f23bbcd2b90bf91186f05be065e1dc3d2200f0d466ba25b2e0ad1b25a2
c8184232ad86ec4d8dbe24bd192e26ca3922a23800518fd3bea79c7d6a0d0000
cc62477cb9b9c8b4b09997023a9336f7e5bb93296a58b92298a80d6eb0dcd211
d0f9de1f6a3241177506413d50fc6c7f4b8e699a1b21ec5928fba56042a6dd3a
e8175f1453a834f168ba75c8ee0dfcf2302085314badcfd5949e9549ee8d37b1
ea361b764853a5555392b95175238a66a514cd27f2ba8a42fa0ec87302e424ff
fe7fbea14fa954c3d40d00949606d240724eef1af2b091a0400847bf641835a2