搜索结果: 1-1 共查到“军事学 Computational Cryptography”相关记录1条 . 查询时间(0.062 秒)
ILC: A Calculus for Composable, Computational Cryptography
provable security universal composability process calculus
2019/4/23
The universal composability (UC) framework is the established standard for analyzing cryptographic protocols in a modular way, such that security is preserved under concurrent composition with arbitra...