Modeling and Security Analysis of IEEE 802.1AS Using Hierarchical Colored Petri Nets.

Siyu Tang Xiaoya Hu Lian Zhao

Published in: GLOBECOM (2020)

Keyphrases

security analysis
colored petri nets
petri net
public key
smart card
security requirements
security model
user authentication
high security
encryption scheme
mutual authentication
data mining
security properties
image encryption
proxy signature scheme