%0 Journal Article %1 journals/jowua/ValenzaSSLSV17 %A Valenza, Fulvio %A Su, Tao %A Spinoso, Serena %A Lioy, Antonio %A Sisto, Riccardo %A Vallini, Marco %D 2017 %J J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. %K dblp %N 1 %P 79-100 %T A formal approach for network security policy validation. %U http://dblp.uni-trier.de/db/journals/jowua/jowua8.html#ValenzaSSLSV17 %V 8

@article{journals/jowua/ValenzaSSLSV17, added-at = {2020-05-17T00:00:00.000+0200}, author = {Valenza, Fulvio and Su, Tao and Spinoso, Serena and Lioy, Antonio and Sisto, Riccardo and Vallini, Marco}, biburl = {https://www.bibsonomy.org/bibtex/234cad1d1fd7a581fcc35de150eb72c91/dblp}, ee = {https://doi.org/10.22667/JOWUA.2017.03.31.079}, interhash = {0b02cebd8a9a9cbe0a6bde757c3559da}, intrahash = {34cad1d1fd7a581fcc35de150eb72c91}, journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.}, keywords = {dblp}, number = 1, pages = {79-100}, timestamp = {2020-05-19T11:51:53.000+0200}, title = {A formal approach for network security policy validation.}, url = {http://dblp.uni-trier.de/db/journals/jowua/jowua8.html#ValenzaSSLSV17}, volume = 8, year = 2017 }