Modelling and verification of security rules in an OpenFlow environment with Coloured Petri Nets

The discussion of alternatives to the Internet architecture has been the subject of research for several years, resulting in a number of solutions and mechanisms that can help even the current approach. Within this context, the paradigm of Software Defined Networking (SDN) is becoming popular due to...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Iberian Conference on Information Systems and Technologies (Print) S. 1 - 7
Hauptverfasser:	Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina
Format:	Tagungsbericht
Sprache:	Englisch Portugiesisch
Veröffentlicht:	AISTI 01.06.2014
Schlagworte:	Analytical models Coloured Petri Nets Computational modeling Data models Internet OpenFlow Petri nets SDN Security Software Validate security rules
ISSN:	2166-0727
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!