A dynamic grey temporal system(DGTS)and a grey temporal security policy specification Ianguage(GTSL)based on the dynamic seman...

• 本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言GTSL。