https://m2.mtmt.hu/
eng
2024-03-28 18:21
BookChapter
31360878
ADMIN_APPROVED
true
0
false
2023-08-23T15:14:42.811+0000
2021-11-12T15:51:20.486+0000
2020-06-25T20:39:51.531+0000
true
10062734
Ládi
Gergő
/api/author/10062734
Author
true
10062734
2021-03-11T08:26:27.108+0000
2021-03-11T08:26:27.108+0000
2021-11-12T15:51:20.496+0000
true
10072271
Andódy
Katalin
/api/admin/10072271
Admin
true
true
false
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
true
10000197
Conference paper
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
/api/subtype/10000197
Konferenciaközlemény
SubType
452
true
10000197
true
1
/api/category/1
Category
true
1
Székely, Gábor
Towards Reverse Engineering Protocol State Machines
70
73
70
4
2020
In this work, we are addressing the problem of inferring the state machine of an unknown protocol. Our method is based on prior work on inferring Mealy machines. We require access to and interaction with a system that runs the unknown protocol, and we serve a state-of-the-art Mealy machine inference algorithm with appropriate input obtained from the system at hand. We implemented our method and illustrate its operation on a simple example protocol.
Funding
1986831
/api/funding/1986831
false
true
Funding
1986832
/api/funding/1986832
false
true
Funding
1986833
/api/funding/1986833
false
true
true
2020
false
true
true
true
true
false
NONE
2023-08-23
false
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
false
false
false
false
2020-09-23T20:44:13.310+0000
3in-BME Balatonfüredi Hallgatói Kutatócsoport (BME / VIK / EIT); Hálózati Rendszerek és Szolgáltatások Tanszék (BME / VIK)
4
9
2
4
0
true
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
10004
true
10001
/api/country/10001
Country
true
1
/api/city/10004
City
true
1015847
true
17020519
IDENTICAL
/api/publicationidentifier/17020519
http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf
http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf
PublicationIdentifier
true
true
21640863
IDENTICAL
/api/publicationidentifier/21640863
http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php
http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php
PublicationIdentifier
false
/api/publication/31360875
true
true
32
32
/api/publicationtype/32
PublicationType
6
true
32
Book
The 12th Conference of PhD Students in Computer Science
false
31360875
false
false
true
true
false
Book
2020
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
91963074
/api/authorship/91963074
1
0.25
true
false
false
Author
10074732
/api/author/10074732
Székely
Gábor
true
true
Székely
Gábor
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
91963075
/api/authorship/91963075
2
0.25
false
false
false
Author
10062734
/api/author/10062734
Ládi
Gergő
true
10062734
true
Ládi
Gergő
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
91963076
/api/authorship/91963076
3
0.25
false
false
false
Author
10041043
/api/author/10041043
Holczer
Tamás
true
10041043
true
Holczer
Tamás
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
91963077
/api/authorship/91963077
4
0.25
false
true
false
Author
10001261
/api/author/10001261
Buttyán
Levente
true
10001261
true
Buttyán
Levente
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
17843357
/api/publicationidentifier/17843357
https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81
https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81
false
true
/api/publication/31360878
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" mtid="10074732"> <a href="/gui2/?type=authors&mode=browse&sel=10074732" target="_blank">Székely, Gábor</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10062734"> <a href="/gui2/?type=authors&mode=browse&sel=10062734" target="_blank">Ládi, Gergő</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041043"> <a href="/gui2/?type=authors&mode=browse&sel=10041043" target="_blank">Holczer, Tamás</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10001261"> <a href="/gui2/?type=authors&mode=browse&sel=10001261" target="_blank">Buttyán, Levente</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;31360878" mtid="31360878" target="_blank">Towards Reverse Engineering Protocol State Machines</a></div> <div class="InBook">In: <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31360875" target="_blank">The 12th Conference of PhD Students in Computer Science : Volume of short papers </a></span > </div><div class="pub-info"> <span class="publishedAt">Szeged, Hungary : <span class="publisher">SZTE</span> <span class="year">(2020)</span> <span class="page"> pp. 70-73. , 4 p. </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81" target="_blank" href="https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81"> Teljes dokumentum </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Publication:31360878 </span> <span class="status-holder"><span class="status-data status-ADMIN_APPROVED"> Admin approved </span></span> <span class="pub-core">Core </span> <span class="pub-type">Conference paper (Conference paper ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Scientific</span> </div> </div> </div><div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10074732"><a href="/gui2/?type=authors&mode=browse&sel=10074732" target="_blank">Székely Gábor (<span class="authorship-author-name">Székely Gábor</span> <span class="authorAux-mtmt"> infokommunikáció</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Networked Systems and Services; <span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/<span title="X - Federated Innovation and Knowledge Centre">X - Federated Innovation and Knowledge Centre</span>/Research Group of Students Balatonfüred</span> ; <span class="author-name" mtid="10062734"><a href="/gui2/?type=authors&mode=browse&sel=10062734" target="_blank">Ládi Gergő (<span class="authorship-author-name">Ládi Gergő</span> <span class="authorAux-mtmt"> Informatikai tudományok</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Networked Systems and Services; <span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/<span title="X - Federated Innovation and Knowledge Centre">X - Federated Innovation and Knowledge Centre</span>/Research Group of Students Balatonfüred</span> ; <span class="author-name" mtid="10041043"><a href="/gui2/?type=authors&mode=browse&sel=10041043" target="_blank">Holczer Tamás (<span class="authorship-author-name">Holczer Tamás</span> <span class="authorAux-mtmt"> Hálózatok</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Networked Systems and Services</span> ; <span class="author-name" mtid="10001261"><a href="/gui2/?type=authors&mode=browse&sel=10001261" target="_blank">Buttyán Levente (<span class="authorship-author-name">Buttyán Levente</span> <span class="authorAux-mtmt"> Távközlés, informatika</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Networked Systems and Services</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;31360878" target="_blank">Towards Reverse Engineering Protocol State Machines</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> </div> <div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31360875" target="_blank">The 12th Conference of PhD Students in Computer Science : Volume of short papers </a></div> <div class="conference"> Conference: <span class="location">Szeged, Hungary <span class="conference-date">2020.06.24. - 2020.06.26.</span> (<span class="conference-organizer">SZTE TTIK Informatikai Intézet) </div> <span class="publishedAt">Szeged: <span class="publishers">SZTE</span>, <span class="page"> pp 70-73 </span> <span class="year">(2020)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Language: English | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81" target="_blank" href="https://www.inf.u-szeged.hu/~cscs/pdf/cscs2020.pdf#page=81"> Teljes dokumentum </a> </span> </span> <span class="bookchapter-ids">Book link(s):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf" target="_blank" href="http://www.inf.u-szeged.hu/~cscs/cscs2020/pdf/cscs2020.pdf"> Teljes dokumentum </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php" target="_blank" href="http://www.inf.u-szeged.hu/~cscs/cscs2020/proceedings.php"> Other URL </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Publication: 31360878</span> | <span class="status-data status-ADMIN_APPROVED"> Admin approved </span> <span class="long-book-mtid">Book: 31360875</span> Core | <span class="type-subtype">Conference paper ( Conference paper ) </span> | <span class="pub-category">Scientific</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Innovatív Informatikai és Infokommunikációs megoldásokat megalapozó tematikus kutatási együttműkö...(EFOP-3.6.2-16-2017-00013) Funder: EFOP, (2017-1.3.1-VKE-2017-00029) Funder: NKFIH, (CRP-J02008-20629) Funder: IAEA </div> <div class="lastModified">Last Modified: 2021.11.12. 16:51 Katalin Andódy (BME admin4 - INAKTÍV) </div> </div> </div>