%0 Journal Article %1 journals/corr/abs-2002-07025 %A Fu, Jie %A Kulkarni, Abhishek Ninad %A Luo, Huan %A Leslie, Nandi O. %A Kamhoua, Charles A. %D 2020 %J CoRR %K dblp %T Secure-by-synthesis network with active deception and temporal logic specifications. %U http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-07025 %V abs/2002.07025

@article{journals/corr/abs-2002-07025, added-at = {2020-03-02T00:00:00.000+0100}, author = {Fu, Jie and Kulkarni, Abhishek Ninad and Luo, Huan and Leslie, Nandi O. and Kamhoua, Charles A.}, biburl = {https://www.bibsonomy.org/bibtex/2be95fade9045493235b508d649dfb3f7/dblp}, ee = {https://arxiv.org/abs/2002.07025}, interhash = {ada1f16cfd9e29e178b0559a1e623e6e}, intrahash = {be95fade9045493235b508d649dfb3f7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-03-03T12:10:38.000+0100}, title = {Secure-by-synthesis network with active deception and temporal logic specifications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-07025}, volume = {abs/2002.07025}, year = 2020 }