Improvement of the anonymity formalization based on strand space model
In order to make the strand space model satisfy the special needs of anonymity analysis,based on equivalent bundles and view of observer,two kinds of sender anonymities as well as recipient anonymities were defined;relation anonymity were defined in fleshlight automatique two ways: emphasis on sender anonymity or recipient anonymity.Thus,an anonymi