机译:信任管理策略中安全属性的形式验证
机译:时限时间逻辑规范对连续时间马尔可夫过程控制策略的形式综合
机译:信任关系和信任域的形式化定义和复杂性结果适用于TTP,信任网,PKI和基于ID的密码学
机译:可信流程的正式政策
机译:外交政策分析和欧盟共同外交与安全政策:了解正式和非正式的决策过程。
机译:在Covid-19大流行期间的公众信托和政策合规性:专业信托的作用
机译:外交政策分析与欧盟共同的外交与安全政策-了解正式和非正式程序
机译:KVm / 370内核和可信进程的形式规范