Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
|
 |
|
Post a Comment
|
|
|
|
|
|
CITATIONS:
(Display Abstract)
|
|
|
[
0
|
1
]
|
Araragi, Tadashi; Pereira, Olivier.
(2008)
Automatic Verification of Simulatability in Security Protocols
|
|
(Conference Paper in Proceedings :
The Fourth International Conference on Information Assurance and Security - ISIAS 2008
)
|
|
|
[
0
|
6
]
|
Ouafi, Khaled; Phan, Raphael C.-W..
(2008)
Traceable Privacy of Recent Provably-Secure RFID Protocols
|
|
(Conference Paper in Proceedings :
6th International Conference on Applied Cryptography and Network Security – ACNS 2008
)
|
|
|
[
0
|
1
]
|
Wang, Shujing; Zhang, Yan .
(2008)
A Logic Programming Based Framework for Security Protocol Verification
|
|
(Conference Paper in Proceedings :
17th International Symposium on Foundations of Intelligent Systems, 2008 – ISMIS 2008
)
|
|
|
[
0
|
3
]
|
Nam, Junghyun ; Won, Dongho.
(2006)
Group Key Exchange over CombinedWired andWireless Networks
|
|
(Journal Article in
Journal of Communications and Networks
)
|
|
|
[
0
|
2
]
|
Ryan, Mark.
(2006)
Verifying anonymity and privacy properties of security protocols
|
|
(Report in the series
UK Engineering and Physical Sciences Research Council (EPSRC) grant application - EP/E040829/1
)
|
|
|
|
|
STATISTICS
|
|
Click on # to view
|
|
Citations
|
|
5
|
|
References
|
|
0
|
|
Comments
|
|
0
|
|
Quality
|
|
0/0.00
|
|
Interest
|
|
0/0.00
|
|
View(er)s
|
|
2/161
|
|
|
|
|
|
|
| Prev |
Next |
|