A dynamic grey temporal system (DGTS) and a grey temporal security policy specification Ianguage (GTSL) based on the dynamic semantics of DGTS are presented in this paper.
本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言gtsl。
For example, the assertion could declare that the message be encrypted; the actual definition of this assertion would be in the WS-Security Policy domain specification.
例如，断言可以声明消息是被加密的。这种断言的实际定义将包含在WS - Security策略域规范中。
应用推荐