搜索结果: 1-2 共查到“知识库 军事学 plausible”相关记录2条 . 查询时间(0.09 秒)
Discussions are currently underway about the choice of a
tree hash mode of operation for a standardization. It appears that a
single tree mode cannot address the specificities of all possible uses a...
A plausible approach to computer-aided cryptographic proofs
plausible approach computer-aided cryptographic proof static code analysis
2009/2/12
This paper tries to sell a potential approach to making the process of writing and verifying
our cryptographic proofs less prone to errors. Specifically, I advocate creating an automated
tool to hel...