Security proofs of cryptographic protocols
Database and logic abduction method. Classical Logic Programming approach. Soundness and completeness DLA method. Various aspects of analysis of security protocols. Needham-Schroeder protocol. Optimized Otway-Rees protocol. Internet Key Exchange Protocol.
Подобные документы
Разделение функций многоуровневой коммутации, пересылка с использованием последовательных меток. Топология сети MPLS (Multi Protocol Label Switching). Расчет пропускной способности центральных узлов сети. Выбор необходимого оборудования для них.
курсовая работа, добавлен 14.12.2012Аналіз існуючих методів боротьби з перевантаженнями в мережах, що використовують протокол TCP (Transmission Control Protocol) в якості основного протоколу передачі даних, і подальшого синтезу їх класифікації. Запобігання перевантаження в різних мережах.
статья, добавлен 28.02.2017A practical guide to using encryption technology to ensure confidentiality, security and integrity of your most valuable assets - its data. The analysis of the basic fundamentals of cryptography and its techniques for dealing with electronic security.
книга, добавлен 08.03.2014Данные о производительности сети, определение интервалов времени хранения. Принцип неопределенности Гейзенберга для SNMP-опроса (Simple Network Management Protocol). Стратегии установки пороговых значений. Просмотр данных и предоставление их потребителю.
лекция, добавлен 17.04.2015The concept features and nature of IT piracy and effect of information society on the emergence and spread of piracy on the Internet. Problems of the spread and speed of persistent violations, commission of acts of piracy, plagiarism in the Internet.
статья, добавлен 08.05.2018Компьютерные сети: основные понятия. Основные преимущества работы в локальной сети. Специальный протокол File Transfer Protocol для передачи файлов в интернет. Специальные теги для внедрения графических и мультимедийных объектов в интернет-страницах.
реферат, добавлен 30.05.2013Протокол DHCP (Dynamic Host Configuration Protocol, протокол динамической конфигурации хоста) - средство динамического выделения хостам IP-адресов. Обзор DHCP, принцип работы, понятие области действия. Установка и настройка DHCP-сервера, авторизация.
контрольная работа, добавлен 22.11.2009Application of an autotyped rasterization method to protect text, table and graphic information. Use of the method in question to protect information on tangible media. Develop a modified amplitude-modulated screening method to improve print quality.
статья, добавлен 28.09.2016Сфера применения систем, основанных на нечетком логическом выводе. Пакет Fuzzy Logic Toolbox в составе ПО MATLAB как один из наиболее распространенных инструментов, используемых при проектировании нечетких систем. Процесс и этапы разработки программы.
статья, добавлен 26.07.2018The article deals with problems of a different nature that arise in any type of business activity with insufficient attention to the removal or concealment of the information contained in the metadata of various documents. Various types of documents.
статья, добавлен 16.01.2024Основные разновидности потенциальных атак. Распространённые методы защит. Протокол Spanning Tree Protocol, основное назначение, принцип функционирования, алгоритм его действия. Определение корневого коммутатора. Незаконный посредник (man in the middle).
курсовая работа, добавлен 31.08.2016The advantages and disadvantages of PHP web development using Core PHP and PHP frameworks. Security and performance are investigated. The recommendations on using both approaches. The structure of application and key development things are highlighted.
статья, добавлен 10.10.2023Описание общей структурной схемы программной утилиты "Session Initiaiton Protocol" как протокол передачи данных прикладного уровня. Разработка программного обеспечения с открытым кодом SIP софтфона и сервера – приложений для совершения Интернет-звонков.
дипломная работа, добавлен 11.09.2020Basic security skills on the World Wide Web. Cryptology, Web site protection and attacks. One-way encryptions and message digests. Some strong symmetric-key ciphers. Practical software-based stream ciphers. Block ciphers with variable key lengths.
учебное пособие, добавлен 04.12.2012A negligibility-based framework to model network-centric security problems in mobile ad hoc networks. Modeling network-centric security in a negligibility-based framework with network scale as the input parameter and anti-disruption secure routing.
статья, добавлен 15.09.2012Description of martial law, compliance conditions. Analysis of regulatory legal acts and judicial practice in the field of information protection under martial law. Features of ensuring information security in Ukraine as a direction of state policy.
статья, добавлен 08.08.2021Анализ виртуальных частных сетей, выбор программных и технических средств для организации защищенного канала связи. Преимущества Generic Routing Encapsulation, Point-to-Point Tunneling Protocol, ipSecurity. Выбор протоколов для защищенного канала.
дипломная работа, добавлен 19.06.2017Classical and quantum physics and information theory. Von Neumann entropy and relevant measures. Accessible classical and quantum information. Data processing. Real-life applications of information theory. A commercial quantum cryptographic device.
книга, добавлен 15.09.2012- 94. Improving the efficiency of the solution of linear programming tasks applying the CUDA-technology
Proposing to use complex methods to improve the efficiency of solving linear programming problems using large-scale classical approaches and technologies parallel processing CUDA. Specificity of program and algorithmic features use of the technology.
статья, добавлен 26.09.2016 The method and algorithm for realization of arithmetic operations in the system of remainder classes. The principal advantage of the suggested method. The algorithms for realization of arithmetic operations of summation, deduction and multiplication.
статья, добавлен 14.07.2016Familiarity with the basic principles of cryptographic protection of information. Cryptography as a set of methods for data transformation, aimed at, it is to make the data useless to the enemy. Analysis of the cryptographic algorithm with the public key.
книга, добавлен 08.03.2014The terms of the security of critical infrastructure. Construction and characterization of a model of security management of critical infrastructure, allowing you to easily determine how the criticality of certain infrastructure, General infrastructure.
статья, добавлен 28.02.2016Consideration of various information security standards in the Russian commercial organizations. Methods of data protection. Potential application of international standards in information security activities of the Russian commercial organization.
статья, добавлен 13.02.2016The main stages and features of the access procedure (identification, authentication and authorization) in Microsoft Windows operating systems. Contribute to evil, circumvention and protection of access. Headways of destruction of cyber security.
статья, добавлен 28.05.2023Development of an integrated S-O-R model taking into account cognitive-affective-conative aspects, which adds a new direction to the research of trust in UGC. Life satisfaction and Internet satisfaction as two main mechanisms of online content exchange.
статья, добавлен 23.05.2023