Inference and Abstraction of Communication Protocols
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...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2009
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-111249 |