Вы здесь
Bozga L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On the Existence of an Effective and Complete Inference System for Cryptographic Protocols | 2004 | Bozga L., Ene C., Lakhnech Y. | Lecture Notes in Computer Science | 30.04.2004 | |||
| СТ | HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols | 2003 | Bozga L., Lakhnech Y., Perin M. | Lecture Notes in Computer Science | 19.09.2003 |