机译:关于使用概率图灵机对加密协议中的参与者进行建模
Provable security; Turing machine; Z-algebra;
机译:关于使用概率图灵机对加密协议中的参与者进行建模
机译:密码协议的概率终止和可组合性
机译:密码协议的概率终端和可组合性
机译:基于有限状态机的加密协议建模与仿真策略
机译:概率多项式时间过程演算,用于分析密码协议。
机译:使用最佳阶Markov模型的固定算法复杂度的图灵机带的统计复杂性分析
机译:具有子算法空间的概率图灵机和交替图灵机的闭合特性
机译:消除自身历史的离散过程的量子力学哈密顿模型:图灵机的应用