...关(Security Gate)和策略数据库(Policy Database)组成,该系统模型应用安全策略规范语言(Security Policy Specification Language,SPSL)来描述安全策略,应用安全策略协议(Security Policy Protocol,SPP)来分发策..
基于4个网页-相关网页
本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言gtsl。
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.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.
应用推荐