uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Inference and Abstraction of Communication Protocols
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
2009 (Engelska)Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
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.

Ort, förlag, år, upplaga, sidor
2009.
Serie
IT ; 09 058
Identifikatorer
URN: urn:nbn:se:uu:diva-111249OAI: oai:DiVA.org:uu-111249DiVA, id: diva2:280066
Presentation
(Engelska)
Uppsök
teknik
Handledare
Examinatorer
Tillgänglig från: 2009-12-08 Skapad: 2009-12-08 Senast uppdaterad: 2009-12-08Bibliografiskt granskad

Open Access i DiVA

fulltext(616 kB)1881 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 616 kBChecksumma SHA-512
5d9ede204b1a166ade4c54f81204a0c9f675f7e068608d6bda8ab4c5f920db9a8e2fe4b3aa4878bf1b1d6578d5f2338435903c669ffdc5f5d727fed3cec2f228
Typ fulltextMimetyp application/pdf

Av organisationen
Institutionen för informationsteknologi

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1881 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 2446 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf