Login / Signup
Formal modelling and verification of high interactive honeypot using coloured Petri nets.
Sheetal Gokhale
Irfan A. Siddavatam
Ashwini Dalvi
Mohammed Shaikh
Suchitra Patil
Published in:
Int. J. Crit. Comput. Based Syst. (2022)
Keyphrases
</>
coloured petri nets
formal verification
formal methods
model checking
wide range
formal analysis
data structure
learning algorithm
decision making
similarity measure
multiscale
real time
virtual environment
computer graphics
genetic algorithm
high precision
real world
neural network
databases