Вы здесь

Shmatikov V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Probabilistic Polynomial-Time Semantics for a Protocol Security Logic 2005 Datta A., Derek A., Mitchell J. C., Shmatikov V., Turuani M. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.11.2005
СТ Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation 2004 Shmatikov V. Lecture Notes in Computer Science 23.04.2004
СТ A Core Calculus of Classes and Mixins 1999 Bono V., Patel A., Shmatikov V. Lecture Notes in Computer Science 09.07.1999