Modelling and verification of security rules in an OpenFlow environment with Coloured Petri Nets
Torrez Rojas, Marco Antonio, Takeo Ueda, Eduardo, Melo de Brito Carvalho, Tereza Cristina
Published in 2014 9th Iberian Conference on Information Systems and Technologies (CISTI) (01.06.2014)
Published in 2014 9th Iberian Conference on Information Systems and Technologies (CISTI) (01.06.2014)
Get full text
Conference Proceeding
Vulnerability Detection in Intelligent Environments Authenticated by the OAuth 2.0 Protocol over HTTP/HTTPS
Francisco, Gilson da Silva, da Silva, Anderson Aparecido Alves, Azevedo, Marcelo Teixeira de, Ueda, Eduardo Takeo, Guelfi, Adilson Eduardo, Alcazar, Jose Jesus Perez
Published in International journal of computer network and information security (08.04.2024)
Published in International journal of computer network and information security (08.04.2024)
Get full text
Journal Article