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á bibliografie

Vydáno v:	Iberian Conference on Information Systems and Technologies (Print) s. 1 - 7
Hlavní autoři:	Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina
Médium:	Konferenční příspěvek
Jazyk:	angličtina portugalština
Vydáno:	AISTI 01.06.2014
Témata:	Analytical models Coloured Petri Nets Computational modeling Data models Internet OpenFlow Petri nets SDN Security Software Validate security rules
ISSN:	2166-0727
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!