Вы здесь
Bhargavan K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Semantics for Web Services Authentication | 2004 | Bhargavan K., Fournet C., Gordon A. D. | POPL 2004 | 09.06.2004 | |||
| СТ | Verisim: Formal Analysis of Network Simulations | 2000 | Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. | Software Engineering Notes | 14.12.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Progress in Cryptology - INDOCRYPT 2020: Proc./21st International Conference on Cryptology in India, Bangalore, India, December 2020 | 2020 | Lecture Notes in Computer Science |
|
15.01.2021 |