Приложение
для AndroidПолное описание
Shin, H. A brief survey of zero-knowledge proofs / H.Shin. - Amsterdam : [s. n.], 1992. - 11 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9232). - Текст : непосредственный.
Библиогр.:с.8-11.
| ГРНТИ | УДК | |
| 20.23.21 | 004.056 |
Рубрики:
Информация -- Сохранность
Безопасность получения, хранения, передачи и обработки информации
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9232)
Шифр в сводном ЭК: 4b3426d594a81430f0f0974b1804d62f
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыМартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Брона И.И. Реляционные базы данных с неполными и неточными значениями(аналитический обзор) / И. И. Брона, Т. А. Малюта, В. В. Пасичник, 1989. - 52 с. - Текст : непосредственный.Мухов С.В. Мобильные базы данных с рандомизированным доступом на ПЭВМ / С. В. Мухов, Л. П. Матюшков, 1990. - 25 c. - Текст : непосредственный.Дизенко А.Д. Модель данных "объект-свойство" / А. Д. Дизенко, 1990. - 28 с. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный.Брешенков А.В. Методология проектирования реляционных баз данных с использованием данных табличного типа : специальность 05.25.05 "Информационные системы и процессы" : диссертация на соискание ученой степени д-ра техн. наук / А. В. Брешенков, 2007. - 48 с. - Текст : непосредственный.Харрингтон Д. Проектирование объектно-ориентированных баз данных : Эволюция технологий хранения информации / Д.Харрингтон, 2001. - 269 с. - Текст : непосредственный.Полищук Ю.В. Проектирование реляционных баз данных : учебное пособие / Ю. В. Полищук, С. И. Сормов, Т. А. Черных, 2008. - 132 с. - Текст : непосредственный.Фуфаев Э.В. Базы данных / Э. В. Фуфаев, Д. Э. Фуфаев, 2005. - 320 с. - Текст : непосредственный.Дженнингс Р. Руководство разработчика баз данных на Visual Basic 6 / Р. Дженнингс, 1999. - 975 с. - Текст : непосредственный.Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Некрестьянов И.С. Тематико-ориентированные методы информационного поиска : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. С. Некрестьянов, 2000. - 14 с. - Текст : непосредственный.Вейс А. Загрузка файлов / А. Вейс, 1996. - 303 с. - Текст : непосредственный.Авдеев В.А. Информационный банк "Черметэлектро" / В. А. Авдеев, Б. И. Кудрин, А. Е. Якимов, 1995. - 360,40 c. c. - Текст : непосредственный.ACM Transactions Database Systems / ACM. - Журнал выходит с 1976г. - Текст : непосредственный. Кумскова И.А. Базы данных : учебное пособие / И. А. Кумскова, 2010. - 488 с. - Текст : непосредственный.Троицкая О.Н. Базы данных : учебное пособие / О. Н. Троицкая, А. Г. Троицкий, 2009. - 110 с. - Текст : непосредственный.Кузин А.В. Базы данных : учебное пособие / А. В. Кузин, С. В. Левонисова, 2008. - 315 с. - Текст : непосредственный.Шарф О.А. Исследование и разработка типовой инфологической схемы для баз данных объектографических систем информационного обеспечения НИОКР по созданию объектов техники : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд.техн.наук / О. А. Шарф, 1992. - 22 с. - Текст : непосредственный.
Показать все результатыМодели и методы информационных сетей : сборник научных трудов / Институт проблем передачи информации (Москва), 1990. - 99 c. - Текст : непосредственный.Чернов Э.А. Обработка информации на мини-ЭВМ / Э. А. Чернов, 1989. - 83 с. - Текст : непосредственный.Еременко В.П. Инструментальные средства управления данными в информационных системах / В. П. Еременко, 1989. - 69 c. - Текст : непосредственный.Бабичев А. В. Параллельная обработка информации : В 5 т. Т. 5 : Проблемно-ориентированные и специализированные средства обработки информации / [А. И. Аксенов, В. В. Аристов, Е. Ю. Барзилович и др.],Под ред. Б.Н. Малиновского, В. В. Грицыка, 1985. - 503 c. - Текст : непосредственный.Тельнов Ю.Ф. Интеллектуальные системы обработки данных / Ю. Ф. Тельнов, С. М. Диго, Т. М. Полякова, 1989. - 102 c. - Текст : непосредственный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный.Актуальные проблемы современной науки. Естественные науки : тр. 2-го Междунар. форума (7-й Междунар. конф.), 20-23 нояб. 2006 г. / Российская инженерная академия (Москва), Поволжское отделение. Ч. 12 : Системный анализ, управление и обработка информации, 2006. - 71 с. - Текст : непосредственный.Красов, В. И. Компьютерные технологии в физике : Учеб. пособие. Ч. 6 : Современные средства хранения и обработки информации / В. И. Красов, 2013. - 115 с. - Текст : непосредственный.Информатика : учебник / редкол.: В. А. Минаев и др. Т. 2 : Средства и системы обработки данных, 2008. - 542 с. - Текст : непосредственный.Платов В.В. Специальное математическое и программное обеспечение процессов управления интенсивностью передачи данных : автореф. дис. .. канд. техн. наук: 05.13.11 / В. В. Платов, 2007. - 19 с. - Текст : непосредственный.Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Степанов П.В. Обеспечение ЭМС и информационной безопасности в локальных кабельных сетях / П. В. Степанов, 2008. - 45 с. - Текст : непосредственный.Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный.Аристархов В.Ю. Исследование и разработка методов передачи информации в высокоскоростных беспроводных сетях : автореф. дис. .. канд. техн. наук: 05.12.13 / В. Ю. Аристархов, 2008. - 21 с. - Текст : непосредственный.Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный.Бородакий Ю.В. Эволюция информационных систем / Ю. В. Бородакий, Ю. Г. Лободинский, 2011. - 368 с. - Текст : непосредственный.Монахов С.В. Анализ прикладных систем / С. В. Монахов, В. П. Савиных, Цветков В. Я., 2004. - 57 с. - Текст : непосредственный.Лапко А.В. Непараметрические системы обработки информации и принятия решений : выставочные материалы / А. В. Лапко, В. А. Лапко, 2014. - 379 с. - Текст : непосредственный.
Показать все результатыSecurity and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Фомичев В.М. Дифференциация элементов в конечных группах и в автоматах по заданным признакам, определяющим криптографические свойства систем защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. М. Фомичев, 2006. - 38 с. - Текст : непосредственный.Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный.Басан А.С. Разработка моделей, алгоритмов и программ реализации мандатного разграничения доступа в СУБД с интеграцией прав доступа в цифровые сертификаты : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / А. С. Басан, 2007. - 16 с. - Текст : непосредственный.Балашов С.Г. Научно-методическое обеспечение риск-анализа и управление защитой региональных информационно-телекоммуникационных систем : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / С. Г. Балашов, 2007. - 15 с. - Текст : непосредственный.Пелешенко В.С. Разработка математической модели информационного обмена в локальной вычислительной сети для реализации средств и метода сетевой защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / В. С. Пелешенко, 2007. - 18 с. - Текст : непосредственный.Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный.Степанов П.В. Обеспечение ЭМС и информационной безопасности в локальных кабельных сетях / П. В. Степанов, 2008. - 45 с. - Текст : непосредственный.Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный.Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный.Клименко С.Г. Разработка моделей и методов взаимодействия интернет-ориентированных систем управления документооборотом со средствами аутентификации / С. Г. Клименко, 2011. - 18 с. - Текст : непосредственный.Полищук В.С. Охранные и сетевые устройства внешнего контура системы защиты информации на объектах электронновычислительной техники : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. С. Полищук, 2000. - 21 с. - Текст : непосредственный.Шевченко А.С. Исследование и разработка комплексной методики обнаружения сетевых вторжений : автореф. дис. .. канд. техн. наук: 05.13.13 / А. С. Шевченко, 2007. - 20 с. - Текст : непосредственный.Хорев П.Б. Методы и средства защиты информации в компьютерных системах : учеб. пособие / П. Б. Хорев, 2007. - 255 с. - Текст : непосредственный.Сыпин А.А. Модель и методика обнаружения несанкционированных действий и атак в сетях TCP/IP : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Сыпин, 2006. - 20 с. - Текст : непосредственный.Легкий В.Н. Методы защиты информации / В. Н. Легкий, Р. А. Пермяков, А. Г. Жуков, 1998. - 44 с. - Текст : непосредственный.Мошак Н.Н. Организация безопасного доступа к информационным ресурсам : выставочные материалы / Н. Н. Мошак, Т. М. Татарникова, 2014. - 121 с. - Текст : непосредственный.Еременко В.Т. Основы информационной безопасности систем и сетей : выставочные материалы / В. Т. Еременко, М. Ю. Рытов, 2014. - 197 с. - Текст : непосредственный.Астахова Л.В. Управленческая компетенция специалиста по защите информации / Л. В. Астахова, 2014. - 99 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽