Design and verification of early warning protocol based on role access
Hong-Man Chen · Electronics Optics & Control · 2007
By introducing the idea of Role-Based Access Control(RBAC) into early warning system,a new early warning protocol is designed to have high sensitive and cooperative property in network countermeasure.The model of Petri net for the early warning protocol is constructed and the protocol is verified by using reachability analysis of Petri net.