SYNTHESIS OF DYNAMIC MODEL ACCESS ISOLATION SUBSYSTEM RADIUS
Analysis of access control subsystem Radius. The main functional requirements for it in modern information systems. Considered step by step to fulfillment of the protocol and shows a block diagram of its operation. Network dynamic model is presented verbally and formally taking into account features implemented protocol processing algorithm discussed client request server. We give a complete description of the model, including position descriptions, transitions, initial marking network and reachability tree marking