Вы здесь

Martinelli F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Simple Language for Real-Time Cryptographic Protocol Analysis 2003 Gorrieri R., Locatelli E., Martinelli F. Lecture Notes in Computer Science 16.04.2003
СТ A Uniform Approach for the Definition of Security Properties 1999 Focardi R., Martinelli F. Lecture Notes in Computer Science 30.10.1999