Logic of Knowledge; Model Checking; Anonymity; Knowledge-based programs; Abstraction;
机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
机译:比较基于BDD和SAT的技术来检查Chaum的餐饮密码学家协议的模型
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:基于用餐加密器的认知模型检查的抽象
机译:模型检查顺序一致性和参数化协议。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:基于密码学习者协议的认知模型检查的抽象⋆
机译:基于认知模型检验的安全协议验证与优化