Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol
<p style="text-align:justify;">In the paper, 'stronger security of authenticated key exchange' (LaMacchia et al., 2006, 2007), a new security model for authenticated key exchange protocols (eCK) is proposed. The new model is suggested to be at least as strong as previous m...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
Inderscience
2011
|