Universal Composability; Browser-based protocols; Security model;
机译:通用可组合性框架中对分散式电子投票协议的严格安全性分析
机译:通用可组合符号安全性分析
机译:能源互联网的通用组合密钥自举和安全通信协议
机译:用于分析基于浏览器的安全协议的通用组合框架
机译:可组合安全性功能的框架:保持安全性关注点从模型到代码的分离
机译:作者更正:具有可组合安全性的双域量子密钥分配的有限密钥分析
机译:通用可组合的安全性:加密协议的新范例