formal verification; routing protocols; ubiquitous computing; anonymous communication protocols; formal analysis; onion routing; sender anonymity; strand space model; ubiquitous environments; Anonymity; Formal Methods; equivalent bundles; extremum pair;
机译:基于凭据的系统中的匿名性分析:一个正式框架
机译:用于高效保护隐私的正式匿名模型
机译:基于链空间模型的匿名形式分析
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:使用正式语义对基于规则的模型进行注释以实现创建分析重用和可视化
机译:基于ECC的直接匿名证明方案中的匿名形式分析