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

Full description

Bibliographic Details

Published in:	Iberian Conference on Information Systems and Technologies (Print) pp. 1 - 7
Main Authors:	Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina
Format:	Conference Proceeding
Language:	English Portuguese
Published:	AISTI 01.06.2014
Subjects:	Analytical models Coloured Petri Nets Computational modeling Data models Internet OpenFlow Petri nets SDN Security Software Validate security rules
ISSN:	2166-0727
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!