Automated Vulnerability Modeling and Verification for Penetration Testing Using Petri Nets.

Junchao Luan Jian Wang Mingfu Xue

Published in: ICCCS (2) (2016)

Keyphrases

petri net
colored petri nets
penetration testing
petri net model
stochastic petri net
security vulnerabilities
concurrent systems
discrete event systems
sequence diagrams
web services
service composition
ims ld
fuzzy petri net
wireless sensor networks
hardware and software