此自定义协议在新用户注册表单上按下注册按钮后生效，并在用户使用资源时有效。

Настоящее Пользовательское Соглашение вступает в силу после нажатия кнопки РЕГИСТРАЦИЯ на форме регистрации нового пользователя и действует все время использования Пользователем Ресурса.

私营商业地球站用户协会

Общество частных и комерческих пользователей наземных станций

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.

他坚持要将协议用书面形式写下来。

He insisted on having the agreement down in black and white.