Text this: Improvement of the anonymity formalization based on strand space model