Logo des Repositoriums
 

Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP

dc.contributor.authorRothmaier, Gerrit
dc.contributor.authorKrumm, Heiko
dc.contributor.editorFederrath, Hannes
dc.date.accessioned2019-10-11T09:28:03Z
dc.date.available2019-10-11T09:28:03Z
dc.date.issued2005
dc.description.abstractFormale Modellierung und Analyse von netzwerkbasierten Angriffen ermöglichen zwar ein tieferes Verständnis von Angriffsfolgen, sind aber meist so komplex, dass die Modellierung sehr aufwändig und eine Analyse mit automatischen Werkzeugen aufgrund der Größe des Zustandsraumes unmöglich ist. Wir stellen einen Ansatz vor, der Modelle für praxisrelevante Angriffe und Szenarien mit vertretbarem Aufwand zu behandeln vermag. Dieser Ansatz kombiniert cTLA, ein Modellierungsframework und Optimierungsstrategien mit dem mächtigen Mo- delchecker SPIN. Beispiele zu ARP und RIP zeigen die Anwendbarkeit auf.de
dc.identifier.isbn3-88579-391-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28402
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-62
dc.titleFormale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIPde
dc.typeText/Conference Paper
gi.citation.endPage88
gi.citation.publisherPlaceBonn
gi.citation.startPage77
gi.conference.date5.-8. April 2005
gi.conference.locationRegensburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings.62-7.pdf
Größe:
281.45 KB
Format:
Adobe Portable Document Format