Электронный каталог

    страница из
    всего найдено записей: 1,
      отображать

    Bella G. Formal correctness of security protocols : with 62 figures and 4 tables / G. Bella, 2007 r=on-line