Token mechanism is modeled by status machine, and detailed tokenoperation under noisy environment is investigated through the stateus machine model.
本文首先建立了令牌运行过程的自动机模型，然后利用此模型分析了噪音对令牌运行方式的影响。
2
Every edit operation must be accompanied by a token, which ensures the validity of the user request and protects against CSRF attacks.
每个编辑操作必须伴有一个令牌，这可确保用户请求的有效性，并抵御CSRF攻击。
3
The UML diagram in Figure 2 also shows the classes used for security bindings, supporting token assertions for operation policy subject and protection assertions for the message policy subject.