TY  - RPRT
TI  - Secure-by-synthesis network with active deception and temporal logic specifications
AU  - Jie Fu
AU  - Abhishek N. Kulkarni
AU  - Huan Luo
AU  - Nandi O. Leslie
AU  - Charles A. Kamhoua
PY  - 2020
UR  - https://arxiv.org/abs/2002.07025
ID  - 2002.07025
ER  -