Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
dc.contributor.author | Rothmaier, Gerrit | |
dc.contributor.author | Krumm, Heiko | |
dc.contributor.editor | Federrath, Hannes | |
dc.date.accessioned | 2019-10-11T09:28:03Z | |
dc.date.available | 2019-10-11T09:28:03Z | |
dc.date.issued | 2005 | |
dc.description.abstract | Formale 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.isbn | 3-88579-391-1 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/28402 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-62 | |
dc.title | Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 88 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 77 | |
gi.conference.date | 5.-8. April 2005 | |
gi.conference.location | Regensburg | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.62-7.pdf
- Größe:
- 281.45 KB
- Format:
- Adobe Portable Document Format