Formal proof of provable security by game-playing in a proof assistant
Formal proof of provable security by game-playing in a proof assistant
复制标题
通过在证明助手中玩游戏来正式证明可证明的安全性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
N.Marti
中科院分区：
文献类型：
--
作者：
R.Affeldt;M.Tanaka;N.Marti
登录
查看更多内容
编程语言的形式语义：VDL
DOI：
10.1147/rd.255.0549
发表时间：
1981
期刊：
IBM J. Res. Dev.
影响因子：
--
作者：
P. Lucas
通讯作者：
P. Lucas
基于游戏的密码证明的概率霍尔式逻辑
DOI：
--
发表时间：
2006
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
R. Corin;J. Hartog
通讯作者：
J. Hartog
类型理论和函数式编程
DOI：
--
发表时间：
1991
期刊：
International computer science series
影响因子：
--
作者：
S. Thompson
通讯作者：
S. Thompson
DOI：
10.1007/11555827_9
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Sabrina Tarento
通讯作者：
Sabrina Tarento