然后通过时序逻辑(Temporal Logic,TL)和Petri网这两个形式化描述的工具,对基于策略的安全模型中的访问控制进行了形式化的描述与验证.
基于4个网页-相关网页
基于2个网页-相关网页
然后通过时序逻辑
Then through temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动