机译:关于安全属性的正式框架
Fraunhofer Institute for Secure Information Technology SIT Rheinstrasse 75, D-64295 Darmstadt, Germany;
Fraunhofer Institute for Secure Information Technology SIT Rheinstrasse 75, D-64295 Darmstadt, Germany;
Fraunhofer Institute for Secure Information Technology SIT Rheinstrasse 75, D-64295 Darmstadt, Germany;
Security requirements; Formal security models; Security properties;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:软件架构设计的正式安全性分析:新兴建筑风格的表现力框架
机译:SlockChain智能合同安全问题的正式验证框架
机译:通过形式化方法进行网络安全:实施形式化方法的框架
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:智能合同安全框架的正式规范
机译:基于agent的信息安全系统模型:协调智能代理行为规范的体系结构和形式框架。