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...

Celý popis

Podrobná bibliografia

Vydané v:	Iberian Conference on Information Systems and Technologies (Print) s. 1 - 7
Hlavní autori:	Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina
Médium:	Konferenčný príspevok..
Jazyk:	English Portuguese
Vydavateľské údaje:	AISTI 01.06.2014
Predmet:	Analytical models Coloured Petri Nets Computational modeling Data models Internet OpenFlow Petri nets SDN Security Software Validate security rules
ISSN:	2166-0727
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!