Can universally composable cryptographic protocols be practical?

机译：能源互联网的通用组合密钥自举和安全通信协议

机译：通用组合的RFID识别和验证协议

机译：密码协议的概率终止和可组合性

机译：通用组合安全性：加密协议的新范例

机译：部分指定的协议：寻求真实密码协议的证明。

机译：BGP安全协议中用于最小化加密处理的优化算法的设计和分析

机译：通用可组合的安全性：加密协议的新范例

机译：扩展组协议和低级加密基元的正式密码协议分析技术

机译：密码协议安全验证设备，密码协议设计设备，密码协议安全验证方法，密码协议设计方法和计算机程序产品

机译：生物密码学：具有双向生物令牌的安全密码协议

机译：密码协议生成装置，密码协议生成方法和程序