Sheetal Gokhale, Irfan A. Siddavatam, Ashwini Dalvi, Mohammed Shaikh, Suchitra Patil. Formal modelling and verification of high interactive honeypot using coloured Petri nets. IJCCBS, 10(3):227-247, 2022. [doi]
@article{GokhaleSDSP22,
title = {Formal modelling and verification of high interactive honeypot using coloured Petri nets},
author = {Sheetal Gokhale and Irfan A. Siddavatam and Ashwini Dalvi and Mohammed Shaikh and Suchitra Patil},
year = {2022},
doi = {10.1504/IJCCBS.2022.121365},
url = {https://doi.org/10.1504/IJCCBS.2022.121365},
researchr = {https://researchr.org/publication/GokhaleSDSP22},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {10},
number = {3},
pages = {227-247},
}