Formal verification; logic of authentication; cryptographic protocols; key management.;
机译:具有正式语义的身份验证逻辑,支持同步,吊销和新近度
机译:OSGi服务平台中捆绑身份验证机制的形式验证:BAN Logic
机译:一阶交换结构语义,用于正式不一致的一些逻辑
机译:身份验证逻辑的形式语义
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:迈向认证逻辑的链语义
机译:面向认证逻辑的strand语义