Text this: Research on formal description and verification of automated trust negotiation