1
TITLE: Localizing Firewall Security Policies  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Joshua D Guttman; Flaminia L Luccio;
PUBLISHED: 2016, SOURCE: IEEE 29th Computer Security Foundations Symposium (CSF) in 2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), VOLUME: 2016-August
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Mignis: A Semantic Based Tool for Firewall Configuration  Full Text
AUTHORS: Pedro Adão ; Claudio Bozzato; Dei D Rossi; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
3
TITLE: Mignis: A semantic based tool for firewall configuration
AUTHORS: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLISHED: 2014, SOURCE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXED IN: WOS
4
TITLE: Type-Based Analysis of Generic Key Management APIs  Full Text
AUTHORS: Pedro Adao ; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2013, SOURCE: IEEE 26th Computer Security Foundations Symposium in 2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Type-Based Analysis of Generic Key Management APIs (Long Version)
AUTHORS: Pedro Adão ; Riccardo Focardi; Flaminia L Luccio;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXED IN: DBLP