1
TÍTULO: Localizing Firewall Security Policies  Full Text
AUTORES: Pedro Adao ; Riccardo Focardi; Joshua D Guttman; Flaminia L Luccio;
PUBLICAÇÃO: 2016, FONTE: IEEE 29th Computer Security Foundations Symposium (CSF) in 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), VOLUME: 2016-August
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Mignis: A Semantic Based Tool for Firewall Configuration  Full Text
AUTORES: Pedro Adão ; Claudio Bozzato; Dei D Rossi; Riccardo Focardi; Flaminia L Luccio;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE Computer Security Foundations Symposium, CSF 2014 in IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014, VOLUME: 2014-January
INDEXADO EM: Scopus DBLP CrossRef
3
TÍTULO: Mignis: A semantic based tool for firewall configuration
AUTORES: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXADO EM: WOS
4
TÍTULO: Type-Based Analysis of Generic Key Management APIs  Full Text
AUTORES: Pedro Adao ; Riccardo Focardi; Flaminia L Luccio;
PUBLICAÇÃO: 2013, FONTE: IEEE 26th Computer Security Foundations Symposium in 2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXADO EM: Scopus WOS DBLP CrossRef
5
TÍTULO: Type-Based Analysis of Generic Key Management APIs (Long Version)
AUTORES: Pedro Adão ; Riccardo Focardi; Flaminia L Luccio;
PUBLICAÇÃO: 2013, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXADO EM: DBLP