Приложение
для AndroidПолное описание
Pang, J. Analysis of a security protocol in uCRL / J.Pang. - Amsterdam : [s. n.], 2002. - 26 p. : ill. - (Report:Software engineering / CWI ; SEN-R0201). - 20.00 р. - Текст : непосредственный.
Библиогр.:с. 15-17
| ГРНТИ | УДК | |
| 50.37.23 | 004.738.5.057.4 | |
| 004.056 |
Рубрики:
Интернет -- Протоколы
Информация -- Сохранность
Доп. точки доступа:
Centrum voor wiskunde en informatica (Amsterdam)
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K.E.Shahroudi, 1997. - 14 p. - Текст : непосредственный.Shahroudi K.E. Aircraft conceptual design by collaborative manual and automatic agents / K.E.Shahroudi, 1997. - 8 p. - Текст : непосредственный.Shahroudi K.E. Flipping the analytical coin: closing the information flow loop in high speed (real time) analysis / K.E.Shahroudi, 1997. - 11 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Everaars C.T.H. Using coordination to parallelize sparse-grid methods for 3D CFD problems / C.T.H.Everaars,B.Koren, 1997. - 23 p. - Текст : непосредственный.Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный.Wijk J.J.van A model for strategy in constraint solving / J.J.van Wijk, 1997. - 13 p. - Текст : непосредственный.Liere R.van Steering smog prediction / R.van Liere,J.J.vanWijk, 1997. - 9 p. - Текст : непосредственный.Mulder J.D. Parametrizable cameras for 3D computational steering / J.D.Mulder,J.J.van Wijk, 1997. - 9 p. - Текст : непосредственный.Wijk J.J.van Bringing computational steering to the user / J.J.van Wijk,R.vanLiere,J.D.Mulder, 1997. - 14 p. - Текст : непосредственный.Interactive exploration and modeling of large data sets: A case study with Venus light scattering data / J.J.van Wijk,H.J.W.Spoelder,W.J.J.Knibbe,K.E.Shahroudi, 1997. - 6 p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный.Warners J.P. Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems / J.P.Warners, 1997. - 18 p. - Текст : непосредственный.Groote J.F. The syntax and semantics of timed uCRL / J.F.Groote, 1997. - 42 p. - Текст : непосредственный.Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 p. - Текст : непосредственный.
Показать все результатыОценка позиции национального агентства безопасности в отношении к стандарту засекречивания информации / ВЦП. - 21 c. - Текст : непосредственный.Проблемы засекречивания информации в гражданских сетях США / ВЦП. - 22 c. - Текст : непосредственный.Все о шифровальных приборах / ВЦП. - 46 c. - Текст : непосредственный.Угроза терроризма и обработка данных / ВЦП. - 9 c. - Текст : непосредственный.Руководство для менеджера по приобретению средств контроля физического доступа / ВЦП. - 23 c. - Текст : непосредственный.Система RACF фирмы IBM / ВЦП. - 36 c. - Текст : непосредственный.Обеспечение безопасности системы управления базой данных / ВЦП. - 20 c. - Текст : непосредственный.Защита передачи данных. Всесторонний подход / ВЦП. - 33 c. - Текст : непосредственный.Все о станциях восстановления после бедствия / ВЦП. - 69 c. - Текст : непосредственный.Машины для резки бумаги / ВЦП. - 40 c. - Текст : непосредственный.Выбор службы сохранения данных в постороннем месте / ВЦП. - 17 c. - Текст : непосредственный.Ограничения устройств защиты систем с кодовым вызовом / ВЦП. - 27 c. - Текст : непосредственный.Устройство "Мультисентри" фирмы "Тэкт текнолоджи" / ВЦП. - 16 c. - Текст : непосредственный.Обзор устройств физической защиты информации для микрокомпьютеров / ВЦП. - 27 c. - Текст : непосредственный.Система "Секьюре" фирмы "Уинтерхалтер" / ВЦП. - 18 c. - Текст : непосредственный.Плата "Stoplock IV" компании "Сентри системз инк." / ВЦП. - 14 c. - Текст : непосредственный.Угроза программных злоупотреблений и электронные доски объявлений / ВЦП. - 20 c. - Текст : непосредственный.Все о защите средств связи микрокомпьютера с большой ЭВМ и миникомпьютером / ВЦП. - 62 c. - Текст : непосредственный.Тестирование и оценка механизмов аутентификации сообщений для использования в федеральной электронной системе передачи данных Министерства финансов / ВЦП. - 53 c. - Текст : непосредственный.Процедуры Министерства финансов США для сертификации средств защиты электронной передачи сообщений о перемещениях финансовых средств / ВЦП. - 40 c. - Текст : непосредственный.
Показать все результатыКомпьютерные преступления. Что делать, если вы стали их жертвой / ВЦП. - 25 c. - Текст : непосредственный.Крумова М.А. Разработка и исследование модели выбора комплексов средств защиты информации в информационно-вычислительных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. А. Крумова, 1992. - 18 с. - Текст : непосредственный.Тищенко Е.Н. Программные средства защиты данных в информационных системах (экономико-статистический анализ) : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.11;08.00.13 / Е. Н. Тищенко, 1994. - 28 с. - Текст : непосредственный.Максименко С.В. Метод и модель оценки уровня защищенности информации в автоматизированных системах обработки данных : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.16 / С. В. Максименко, 1995. - 16 с. - Текст : непосредственный.Анализ изменения законодательства о компьютерных преступлениях / ВЦП. - 68 c. - Текст : непосредственный.Зегжда П.Д. Системологический подход в информационных технологиях на примере проектирования средств получения и средств защиты информации : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.16 / П. Д. Зегжда, 1996. - 42 с. - Текст : непосредственный.Китапбаев Ж.Б. Модели и методы проектирования механизмов и систем защиты баз данных от несанкционированного доступа : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / Ж. Б. Китапбаев, 1996. - 24 с. - Текст : непосредственный.Молдовян А.А. Разработка принципов построения и создание комплекса защищенной скоростной обработки данных : Диссертация в виде науч. докл. на соискание ученой степени канд. техн. наук: 05.13.06 / А. А. Молдовян, 1996. - 25 с. - Текст : непосредственный.Сальников С.А. Исследование алгоритма RSA и разработка практических рекомендаций по повышению его эффективности : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.06 / С. А. Сальников, 1996. - 13 с. - Текст : непосредственный.Черней Г.А. Моделирование задач оценки эффективности информационной безопасности экономических информационных систем : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / Г. А. Черней, 1996. - 24 с. - Текст : непосредственный.Геннадиева Е.Г. Технико-экономические проблемы защиты информации в современных системах ее обработки : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.19 / Е. Г. Геннадиева, 1997. - 24 с. - Текст : непосредственный.Карпов А.Г. Методы сертификации программных средств защиты информации в автоматизированных системах управления : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. Г. Карпов, 1997. - 16 с. - Текст : непосредственный.Зегжда Д.П. Разработка методов и средств анализа безопасности программного обеспечения : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / Д. П. Зегжда, 1997. - 18 с. - Текст : непосредственный.Щербаков А.Ю. Методы синтеза систем безопасности в распределенных компьютерных системах на основе создания изолированной программной среды : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / А. Ю. Щербаков, 1997. - 30 с. - Текст : непосредственный.Джабаров А.А. Модель и метод комплексной защиты информационных ресурсов управляющих сетевых систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / А. А. Джабаров, 1997. - 16 с. - Текст : непосредственный.Киляков Г.В. Обеспечение сохранности информации на каналах связи в экономических системах : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / Г. В. Киляков, 1997. - 25 с. - Текст : непосредственный.Щербаков А.Ю. Методы и модели проектирования средств обеспечения безопасности в распределенных компьютерных системах на основе создания изолированной программной среды : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.12:05.13.13 / А. Ю. Щербаков, 1997. - 35 с. - Текст : непосредственный.Пименов В.А. Методика и устройство формирования сигналов частотно-временной матрицы : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / В. А. Пименов, 1998. - 17 с. - Текст : непосредственный.Птицын А.В. Модель и метод анализа динамических характеристик систем защиты информации при автоматизированной обработке данных : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / А. В. Птицын, 1998. - 16 с. - Текст : непосредственный.Прикупец А.Л. Обеспечение безопасности передачи данных в корпоративных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.14 / А. Л. Прикупец, 1998. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽