这种标记语言定义并保持了一种基于XML的标准框架，用于在在线合作伙伴之间创建和交换安全信息。

This markup language defines and maintains a standard XML-based framework for creating and exchanging security information between online partners.

youdao

许多其他标准扩展了此语言以处理不同的领域，例如安全性，同时，您还可以定义自己的自定义策略。

And while many additional standards expand this language to address different domains, like security, you can also define your own custom policies.

youdao

采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。

Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.

youdao