Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Inference and Abstraction of Communication Protocols
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2009 (English)Independent thesis Advanced level (degree of Master (Two Years)), 30 credits / 45 HE creditsStudent thesis
Abstract [en]

In this master thesis we investigate to infer models of standard communication protocols using automata learning techniques. One obstacle is that automata learning has been developed for machines with relatively small alphabets and a moderate number of states, whereas communication protocols usually have huge (practically infinite) sets of messages and sets of states. We propose to overcome this obstacle by defining an abstraction mapping, which reduces the alphabets and sets of states to finite sets of manageable size. We use an existing implementation of the L* algorithm for automata learning to generate abstract finite-state models, which are then reduced in size and converted to concrete models of the tested communication protocol by reversing the abstraction mapping.

We have applied our abstraction technique by connecting the Learn-Lib library for regular inference with the protocol simulator ns-2, which provides implementations of standard protocols. By using additional reductionsteps, we succeeded in generating readable and understandable models of the SIP protocol.

Place, publisher, year, edition, pages
2009.
Series
IT ; 09 058
Identifiers
URN: urn:nbn:se:uu:diva-111249OAI: oai:DiVA.org:uu-111249DiVA, id: diva2:280066
Presentation
(English)
Uppsok
Technology
Supervisors
Examiners
Available from: 2009-12-08 Created: 2009-12-08 Last updated: 2009-12-08Bibliographically approved

Open Access in DiVA

fulltext(616 kB)1864 downloads
File information
File name FULLTEXT01.pdfFile size 616 kBChecksum SHA-512
5d9ede204b1a166ade4c54f81204a0c9f675f7e068608d6bda8ab4c5f920db9a8e2fe4b3aa4878bf1b1d6578d5f2338435903c669ffdc5f5d727fed3cec2f228
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 1864 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 2378 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf