搜索结果: 1-4 共查到“军事学 logical”相关记录4条 . 查询时间(0.046 秒)
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5
Logical cryptanalysis MD5 SHA-1 Satisfiability
2016/1/23
In recent years, studies about the SATisfiability Problem (short for SAT) were more and more numerous because of its conceptual simplicity and ability to express a large set of various problems. Wit...
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
cryptographic protocols formal methods first order logic computational semantics
2010/2/20
We present a computationally sound first-order system
for security-analysis of protocols that places secrecy of
nonces and keys in its center. Even trace properties such
as agreement and authentica...
Logical cryptoanalysis on the example of the cryptosystem DES
block ciphers DES Boolean functions
2010/2/20
In the paper on the example of the cryptosystem DES, the successful
method of a cryptanalysis is presented. As a result, it is offered as
a criterion of the cryptographic security to use a complexit...
Logical Concepts in Cryptography.