搜索结果: 1-4 共查到“军队指挥学 security definition”相关记录4条 . 查询时间(0.062 秒)
Key Exchange with Unilateral Authentication: Composable Security Definition and Modular Protocol Design
key exchange constructive cryptography
font style='font-size:12px;'>
2014/3/10
Key exchange with unilateral authentication (short: unilateral key exchange) is an important primitive in practical security protocols; a prime example is the widely deployed TLS protocol, which is us...
Grouping-Proof Protocol for RFID Tags:Security Definition and Scalable Construction
RFID Security Yoking-Proof Grouping-Proof Scalability
font style='font-size:12px;'>
2009/12/29
In this paper, we propose a grouping-proof protocol
for RFID tags based on secret sharing. Our proposed
protocol addresses the scalability issue of the previous
protocols by removing the need for a...
Key Exchange Protocols::Security Definition, Proof Method and Applications
Key Exchange Protocols Security Definition Proof Method Applications
font style='font-size:12px;'>
2008/10/29
We develop a compositional method for proving cryptograph-
ically sound security properties of key exchange protocols, based on a
symbolic logic that is interpreted over conventional runs of a prot...
A New Security Definition for Public Key Encryption Schemes and Its Applications
Public Key Encryption Adaptive Chosen Ciphertext Attacks Standard Model
font style='font-size:12px;'>
2008/5/30
The strongest security definition for public key encryption (PKE) schemes
is indistinguishability against adaptive chosen ciphertext attacks (IND-CCA).