Computer logic; Security; Intrusion detection(Computers); Reprints; Group dynamics; Electronic commerce; Communications protocols; Cryptography; Reasoning; Theory;
机译:在Isabelle / HOL中将可证明的匿名形式化
机译:一种基于协议组成逻辑的形式化匿名的新方法
机译:一种基于协议组成逻辑的形式化匿名的新方法
机译:形式化智能电网中的匿名-延迟权衡
机译:委托代理对农业的影响:将代理理论正式化为农场业务,以此作为生存策略(代理理论能否在农场上奏效?)。
机译:有限混合物建模和动态治疗方案正式化的个性化复苏策略
机译:集团负责人和匿名的正式化