...
机译:验证具有授权约束的IS安全策略
University Grenoble Alpes, LIG, Grenoble, France;
University Grenoble Alpes, LIG, Grenoble, France;
Universite Paris-Est, LACL, UPEC, IUT Senart-Fontainebleau, France;
University Grenoble Alpes, LIG, Grenoble, France;
Universite Paris-Est, LACL, UPEC, IUT Senart-Fontainebleau, France;
CNRS, LIG, Grenoble, France;
University Grenoble Alpes, LIG, Grenoble, France;
Formal models; Information Systems; Security; Security Policy; Validation;
机译:可执行安全策略:安全策略的规范和验证
机译:采用数据和硬件验证功能的经过VLSI验证的高级输入安全设备
机译:埃塞俄比亚块根和块茎作物生产的制约因素评估:被政策忽视的具有气候抗御力的粮食安全作物概述
机译:使用UML和OCL的授权约束的规范和验证
机译:确保信息安全策略的有效性:信息安全策略模型的开发和验证
机译:在中国快速的城市化进程中针对中国失地农民的社会保障政策真的对健康有效吗?中国失地农民的社会保障政策对其健康相关生活质量的影响研究
机译:使用UmL和OCL规范和验证授权约束
机译:基于约束的特征验证