Вы здесь
Lowe G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Using CSP to Detect Errors in the TMN Protocol | 1997 | Lowe G., Roscoe B. | IEEE Trans. on Software Engineering | 19.02.1998 | |||
| СТ | Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR | 1996 | Lowe G. | Lecture Notes in Computer Science | 24.04.1996 |