DOCSLIB.ORG

CPSW 1-2019.Indd

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
CPSW 1-2019.Indd Contemporary Problems of Social Work ACADEMIC JOURNAL Vol. 5. No. 1 (17) 2019 MOSCOW CCONTEMPORARYONTEMPORARY PPROBLEMSROBLEMS CONTENTS OOFF SSOCIALOCI AL WWORKORK VVolumeolume 55,, NNo.o. 1 ((17),17), 22019019 ECONOMY ISSN 2412-5466 Andryushchenko A.M. Determination of the Optimal Regulatory Burden The journal is included into the system on the Part of the State in the Pawnshop of Russian science citation index and is Services Market . 4 available on the website: www.elibrary.ru Krasyuk P.P. Interpretations of Contracting and Pertaining DOI 10.17922/2412-5466-2019-5-1 Notions in the Russian and Anglophone CHIEF EDITOR Approaches in Procurement . .11 Frolova E.V. Molchanova N.V., Martynova M.Yu. doctor of sociological The Arctic Vector of China’s Foreign Policy: sciences, associate professor, Russian State Social University, Russia History and Legal Framework . .20 DEPUTY EDITOR Shelyganova O.I., Krasnova S.A. Rogach O.V. Modeling of the Process of Registration candidate of sociological sciences, of Estimate-Contractual Documentation . .26 Russian State Social University, Tkachenko S.V., Martynova M.Yu. Russia China in the Industry of Innovation: Cooperation with Russia. .35 EDITORIAL BOARD Feber J. (PhD, University of Trnava, PEDAGOGY Slovakia) Belyakova T.E. Mirsky J. (PhD, Ben-Gurion University of the Negev, Israel) Features of Formation of Culture Moore Alan Thomas (Bachelor of of Project Activity of Students Arts (Hons), M.A., leading to the to Design in Russia. .44 Capital FM 105.3, Ireland) Chekanov I.R., Neizvestny S.I. Nikiporets-Takigawa G.Yu. (PhD, Experience in the Organization of the Scientific professor, University of Cambridge, UK) Club of the Department of Information Petrucijová J. (PhD, University of Ostrava, Czech Republic) Technologies of Russian State Social University «Future Technologies of Digital Society» . 52 Roer-Strier D. (PhD, Hebrew University of Jerusalem, Israel) Fedosov A.Yu., Markushevich M.V. Santiesteban Perez M. (PhD, The Topical Issues of Application of the University of Guantanamo, Cuba) Domestic Software in the Educational Process Turdubaev S.K. (doctor of economic of the Russian School. .59 sciences, associate professor, director of Russian State Social University in Ivoeva A.V. Osh, Kyrgyz Republic) Perspective Directions of Formation Turro Breff A. (PhD, University of of Deontological Culture of Experts Guantanamo, Cuba) on Work with Youth in the Course Vietze D. (PhD, The City University of of Their Training at University . .68 New York, USA) Vietze P. (PhD, Montclair State University, USA) SOCIOLOGY Badmatsyrenov T.B. (candidate Leontyeva T.V. of sociology sciences, associate Family Values in the Animated Content professor, Buryat State University, Buryatia, Russia) of Internet Space . .76 Chernikova L.I. (doctor of Loshkarev I.O. economic sciences, associate International Law and State Sovereignty: professor, Financial University under Issues of Correlation . .84 the Government of the Russian Federation, Russia) Mikhoparov N.I. Dusenko S.V. (doctor of sociological Peculiarities of the State Tourism Policy sciences, associate professor, in the Chuvash Republic: Regional Experience Russian State University of Physical and Methods of Its Improvement . .92 Education, Sport, Youth and Tourism (SCOLIPE), Russia) Zanina K.D. Rostovskaya T.K. (doctor of Fashion As a Way of Cultural Identity sociological sciences, professor, of Young People in Modern Russia. .100 Institute of Social and Political Studies of the Russian Academy of Sciences (ISPR RAS), Russia) PSYCHOLOGY Sizikova V.V. (doctor of pedagogical Skorohodova E.Yu., Borodyanskaya E.A. sciences, professor, Russian State Affecting the Viewer: Social University, Russia) Verbal and Non-Verbal Aspects . .106 Vinogradova M.V. (doctor of economic sciences, associate professor, Russian State University of LABOUR PROTECTION Tourism and Service, Russia) Vishnyakova V.A. (candidate of Sorokina A.A., Zubkova V.M. economic sciences, Russian State The Specific Features of the Monument Social University, Russia) of Nature of Regional Significance «Serebryanny Bor» and the Assessment EXECUTIVE SECRETARY of Its Assimilation Potential. .113 Vishnyakova V.A. candidate of economic sciences, head of department scientific and technical information RSSU WORKED Contenting Papkova N.E. Chief editor of quick printing Bagrova N.V. Typesetting and design Probilova T.A. Decorating Probilova T.A. Cover design Veselovskaya M.M. Our address: 129226, Moscow, Wilhelm Pieck street, 4, building 1, room 312, 315 Contact phone: 8 (495) 255-67-67 (ext. 17-63, 17-71, 17-80). http://rgsu.net/about/science/ publishing/magazine/ E-mail: [email protected] The materials are published in author’s edi- tion. Authors of published materials are re- sponsible for the selection and the accuracy of facts, quotations, proper names, statistics and other information. Editorial opinion may not coincide with the opinion of the authors of the articles. Reprint of materials and use them in any form, including electronic media, possible only with written permission of edi- torial office. Age limit: 16+ © Russian State Social University ECONOMY Andryushchenko A.M., Postgraduate Student, Russian State Social University, Moscow. E-mail: [email protected] ORCID ID: orcid.org/0000-0001-5134-4602 UDC 336 DOI 10.17922/2412-5466-2019-5-1-4-10 Determination of the Optimal Regulatory Burden on the Part of the State in the Pawnshop Services Market Receiving date: Preprint date: Taking to print date: 14.01.2019 28.02.2019 29.03.2019 Annotation: the article analyzes the strategy of the state regulator in the microfinance market, in order to clarify its impact on the market of pawnshop services and the need to determine the optimal regulatory burden. In addition, the author considers the factors that determine the formation of the institutional structure of the pawnshop services market and the need to introduce self-regulation in the pawnshop services market. Key words: pawnshop, microfinance, non-credit financial organizations, self-regulation, self-regulatory organization. JEL classification: А100, А110, А130. Introduction Sustainable development of the microfinance sector in general and the pawnshop services market in particular can increase the financial accessibility of both the population and economic entities, mainly small and medium enterprises (SMEs). The most important condition for the development of one of the segments of this market – pawnshops and increase its competitiveness, is the optimal regulatory burden on participants from the state. It is the optimization of the regulatory burden on the pawnshop services sector that can give impetus for its further development [2]. Supervision over the activities of pawnshops, as well as compliance with the requirements of the Federal Law of 19.07.2007 No. 196-FZ “On Pawnshops”, other federal laws, other regulatory legal acts of the Russian Federation and regulatory acts of the Bank of Russia, is exercised by the Bank of Russia [15] 3 of the law on pawnshops. This chapter is devoted to the rules for the provision of pawnshop services for the storage of things of the population, which does not apply to the activities of the pawnshop as a financial intermediary [6]. 4 VOLUME 5, No. 1 (17), 2019 According to the Bank of Russia, the number of pawnshops from the end of 2016 to the end of 2018 has decreased, so in the first quarter of 2016, pawnshops amounted to 8290 organizations, and in the first quarter of 2018 their number decreased to 5532 pawnshops. The portfolio of loans issued by pawnshops in Russia in 2016 grew by 14.3% to 33.6 billion rubles. Since 2016, the portfolio remains at the level of 33-36 billion rubles, despite a significant reduction in market players. This fact indicates that inactive legal entities are being withdrawn from the market. The number of pawnshop customers (borrowers) from the end of 2016 to the end of 2018 increased from 2.6 million to 2.7 million [18; 19]. Below, we will elaborate on the work of the Bank of Russia in terms of the development of financial markets, the supervision of the market of Lombard services and the determination of the optimal regulatory burden on the sector. Methods Determination of the optimal regulatory burden on the part of the state in the market of pawnshops services implies: – determination of the limits of state intervention; – proof of the need to improve the institutional structure of the pawnshop market; – analysis of the state regulator’s strategy in the microfinance market, which will make it possible to clarify its impact on the market of pawnshop services; – consideration of the factors that determine the formation of the institutional structure of the market services of pawnshops. Results The Bank of Russia performs not only the function of the supervisory authority, but also deals with the development of financial markets. To this end, the Bank of Russia develops and implements programs that provide the main directions for the development of the financial market of the Russian Federation. Actual today is the program for the period 2019– 2021 (hereinafter referred to as the “Basic Directions”), where the goals and princes of the activity of the mega-regulator are identified, contributing to the development of the country’s financial market. The “main directions” allow to determine the current state, possible points of development of the microfinance market and give a clear idea of specific measures for its development for the next three years. The main areas are developed
Load more

Recommended publications
  • Astra Linux Special Edition
    ОПЕРАЦИОННАЯ СИСТЕМА СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ ASTRA LINUX SPECIAL EDITION ОБЩИЕ СВЕДЕНИЯ ОБ ОПЕРАЦИОННОЙ СИСТЕМЕ ПОДДЕРЖИВАЕМЫЕ АППАРАТНЫЕ ПЛАТФОРМЫ Операционная система Операционная система общего назначения специального назначения Релиз «Орел» Релиз «Смоленск» Релиз «Новороссийск» Релиз «Мурманск» Релиз «Керчь» Релиз «Севастополь» Мэйнфреймы IBM ЭВМ с процессорами х86-64 ЭВМ с процессорами ARM PowerPC MIPS System Z УЧАСТНИКИ ПРОЕКТА ПАТЕНТ АО «НПО РусБИТех» ООО «РусБИТех-Астра» Академия ФСБ ИСП РАН России Включена в Единый реестр российских Включена Минкомсвязь России программ для электронных вычислительных в отраслевые стандарты машин и баз данных Минкомсвязи России госкорпораций в 2015 г. СЕРТИФИКАТЫ СООТВЕТСТВИЯ Принята на снабжение ФСБ ФСТЭК Минобороны ВС РФ России России России в 2013 г. Виды защищаемой информации Коммерческая тайна Персональные данные Государственная тайна СОСТАВ ОПЕРАЦИОННОЙ СИСТЕМЫ ПОЛЬЗОВАТЕЛЬСКИЕ ПРИЛОЖЕНИЯ СЕРВЕРНЫЕ ПРИЛОЖЕНИЯ СРЕДСТВА РАБОТЫ С ДОКУМЕНТАМИ СИСТЕМА УПРАВЛЕНИЯ КОМПЛЕКС ПРОГРАММ ПЕЧАТИ БАЗАМИ ДАННЫХ И МАРКИРОВКИ ДОКУМЕНТОВ Редактор Текстовый Редактор Редактор СЕРВЕР СУБД редактор электронных таблиц презентаций векторной графики Сервер печати СРЕДСТВА ЭЛЕКТРОННОЙ ПОЧТЫ КОМПЛЕКС ПРОГРАММ ЭЛЕКТРОННОЙ ПОЧТЫ THUNDERBIRD IMAP сервер EXIM4 – агент кроссплатформенная программа для работы доставки передачи почтовых с электронной почтой и группами новостей почтовых сообщений. сообщений SMTP сервер ВСТРОЕННЫЕ СРЕДСТВА ЗАЩИТЫ ИНФОРМАЦИИ WEB-БРАУЗЕР WEB-СЕРВЕР ОТ НЕСАНКЦИОНИРОВАННОГО FIREFOX надёжный и гибкий
    [Show full text]
  • L'evoluzione Di Linux Eserved@D = *@Let@Token Width=6.5Em]Figs
    L’evoluzione di Linux Centro Ricerche Frascati 11 febbraio 2013 Marco Cesati Università di Roma Tor Vergata Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 1 / 29 Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 2 / 29 • Promuovere la scrittura e la diffusione del software libero • La seconda versione è del 1991, la terza versione è del 2007 • È la più diffusa licenza utilizzata per il software libero • Nel 1985 Stallman fonda la Free Software Foundation (FSF) • Nel 1989 Stallman scrive la prima versione della licenza GNU GPL (General Public License) Le motivazioni di Stallman e dei proponenti del software libero sono primariamente di ordine “etico” e a salvaguardia dei diritti degli utenti Il movimento del software libero • Nel 1983 Richard Stallman avvia il Progetto GNU (GNU’s Not Unix) • Scrivere un intero SO “libero” da diritti d’autore e licenze • Compatibile con il SO Unix • Quasi completato nei primi anni ’90: manca solo il nucleo del SO Marco Cesati (Università di Roma Tor Vergata) L’evoluzione di Linux 3 / 29 • La seconda versione è del 1991, la terza versione è del 2007 • È la più diffusa licenza utilizzata per il software libero • Nel 1989 Stallman scrive la prima versione della licenza GNU GPL (General Public License) Le motivazioni di Stallman e dei proponenti del software libero sono primariamente di ordine “etico” e a salvaguardia dei diritti degli utenti Il movimento del software libero • Nel 1983 Richard Stallman avvia il Progetto GNU (GNU’s Not Unix) • Scrivere un intero SO “libero”
    [Show full text]
  • Verification of Operating Systems
    SYRCoSE-2016 Krasnovidovo, Moscow Region 30 May 2016 Verification of Operating Systems Alexey Khoroshilov [email protected] Institute for System Programming of the Russian Academy of Sciences Operating Systems User-space Applications System System Operating Utilities Libraries Services System Signals, Special System Memory updates, File Systems Calls Scheduling, ... Kernel Kernel-space Kernel Modules Kernel Threads Device Drivers Kernel Core (mmu, scheduler, IPC) Interrupts, DMA IO Memory/IO Ports Hardware Embedded Operating Systems Operating System Drivers APEX POSIX System App App Services libARINC libPOSIX libSYSTEM User-Space Kernel-Space System Calls System Calls Kernel (mmu,scheduler,ipc) System Services ArchLib BSP Drivers Interrupts, DMA IO Memory / IO Ports Target System Hardware Host System Build System Configuration Static Verification Runtime Verification Static Verification Runtime Verification + All paths at once – One path only Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required – There are false positives + Almost no false positives Static Verification Runtime Verification + All paths at once – One path only + Hardware, test data and – Hardware, test data and test environment is not test environment is required required – There are false positives + Almost no false positives – Checks for predefined + The only way to show set of bugs only the code actually works Verification Approaches all kinds of bugs One 1 kind test bugs in 1 execution in all executions Operating Systems User-space Applications System System Operating Utilities Libraries Services System Signals, Special System Memory updates, File Systems Calls Scheduling, ..
    [Show full text]
  • Подходы К Контролю Использования Съемных Машинных Носителей Информации На Средствах Вычислительной Техники Под Управлением Ос Astra Linux Se
    ЮЖНО-СИБИРСКИЙ НАУЧНЫЙ ВЕСТНИК УДК 004.42 ПОДХОДЫ К КОНТРОЛЮ ИСПОЛЬЗОВАНИЯ СЪЕМНЫХ МАШИННЫХ НОСИТЕЛЕЙ ИНФОРМАЦИИ НА СРЕДСТВАХ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ПОД УПРАВЛЕНИЕМ ОС ASTRA LINUX SE А.А. Невров, Г.А. Попов Академия ФСО России, г. Орел В статье рассматривается проблема контроля использования съемных машинных носителей информации (СМНИ) на средствах вычислительной техники под управлением операционной системы Astra Linux Special Edition. В результате анали- за данной операционной системы авторами было выявлено отсутствие механизмов контроля использования СМНИ. Авто- рами предложена, обоснована и описана структура автоматизированной системы учета и контроля СМНИ, которая обеспе- чит необходимый уровень информационной безопасности в организациях, обрабатывающих конфиденциальную информа- цию. Ключевые слова: контроль, носитель информации, информационная безопасность. ВВЕДЕНИЕ сигнализирование администратору СВТ о попытке В настоящее время в организациях, обрабатываю- использования таких МНИ. щих конфиденциальную информацию, рекомендовано В настоящий момент уже существуют готовые использование операционной системы (ОС), имею- средства защиты информации (СЗИ), имеющие функ- щей сертификаты соответствия второму классу за- ции учета и контроля использования МНИ на СВТ, щищенности. Одной из таких ОС является Astra Linux функционирующие как под управлением ОС MS Win- Special Edition (SE). Для обеспечения требуемого dows [1–5], так и ОС Linux [6–8]. В силу определен- уровня информационной безопасности работа на ных факторов, а именно: коммерческое распростране- средствах вычислительной техники (СВТ) в организа- ние программных продуктов, полностью закрытый или частично открытый программный код ОС, под циях может производиться с использованием учтен- которым функционирует СЗИ, существуют опреде- ных машинных носителей информации (МНИ). В организациях, обрабатывающих конфиденци- ленные сложности их использования. альную информацию задача контроля использования ОСНОВНАЯ ЧАСТЬ учтенных МНИ на СВТ возлагается на администрато- В ОС Astra Linux SE уже существуют механизмы ра СВТ.
    [Show full text]
  • Astra Linux Products V3.Indd
    РЕШЕНИЯ ДЛЯ ИНФОРМАЦИОННЫХ СИСТЕМ СДЕЛАНО В РОССИИ www.astralinux.ru О ГРУППЕ КОМПАНИЙ СОДЕРЖАНИЕ ASTRA LINUX О группе компаний Astra Linux 1 Продукты Astra Linux 2 «Astra Linux Common Edition» 4 «Astra Linux Special Edition» 6 ПК «БРЕСТ»8 Научная основа Astra Linux Special Edition 10 Графический интерфейс Fly 12 Состав операционной системы 13 Пакет офисных средств 14 Домен Astra Linux 16 Партнерская программа «Ready For Astra Linux» 17 Импортозамещение. Стадии миграции 18 Техническая поддержка Astra Linux 20 Учебно-методическая литература 22 Astra Linux в ВУЗах России 23 Обеспечение образовательного процесса 24 2 Наши победы 26 Группа компаний Astra Linux — один из лидеров рос- сийского рынка информационных технологий в области МИССИЯ Обеспечение технологического суверенитета России разработки программного обеспечения и средств защиты и ее лидерства на мировом IT-рынке путем разработки информации, в том числе операционных систем семей- базовых технологий, а также специального и пользова- ства Astra Linux и платформ виртуализации. На рынке тельского программного обеспечения. ASTRA LINUX — с 2008 года. В команде Astra Linux сегодня трудится более 250 высокопрофессиональных разработчиков и со- трудников техподдержки. СТРАТЕГИЧЕСКАЯ ЦЕЛЬ К 2030 году стать национальным производителем КОМПАНИЙ Продукция Astra Linux активно применяется в ходе ре- программных продуктов №1, обеспечивающим, с одной ализации программы импортозамещения, в том числе в стороны, потребности рынка IT в специализированных целях обеспечения безопасности объектов критической
    [Show full text]
  • Security Now! #717 - 06-04-19 the Nansh0u Campaign
    Security Now! #717 - 06-04-19 The Nansh0u Campaign This week on Security Now! This week we check-in on the BlueKeep RDP vulnerability, we look at the planned shutdown of one of the, if not the, most "successful" (if one can call it that) affiliate-based ransomware systems, we update on the anti-Robocalling problem, and then look at the recent announcements by the Russian and Chinese militaries about their plans to move away from the Microsoft Windows OS. We also look at Apple's announcement yesterday of their forthcoming "Sign in with Apple" service and touch on the state-of-SQRL. We then share a bit of fun feedback from a listeners and finish by examining the interesting details behind a significant old-school persistent campaign -- the Nansh0u campaign -- apparent sourced from China, which has successfully compromised many tens of thousands of servers exposed to the Internet. Wormpocalypse?? … methinks not. Courtesy, The Hacker News ​ Security News Last Thursday, Microsoft: "A Reminder to Update Your Systems to Prevent a Worm" https://blogs.technet.microsoft.com/msrc/2019/05/30/a-reminder-to-update-your-systems-to-p revent-a-worm/ On May 14, Microsoft released fixes for a critical Remote Code Execution vulnerability, CVE-2019-0708, in Remote Desktop Services – formerly known as Terminal Services – that affects some older versions of Windows. In our previous blog post on this topic we warned that the vulnerability is ‘wormable’, and that future malware that exploits this vulnerability could propagate from vulnerable computer to vulnerable computer in a similar way as the WannaCry malware spread across the globe in 2017.
    [Show full text]
  • Russia Focuses Inward for Vulnerability Analysis
    CYBER THREAT ANALYSIS Pavlov’s Digital House: Russia Focuses Inward for Vulnerability Analysis By Priscilla Moriuchi and Dr. Bill Ladd Recorded Future ​ |​​ ​www.recordedfuture.com ​ |​​ ​CTA-2018-0716 ​ |​​ ​ 1 Scope Note: Over the course of the past year, Recorded Future has examined the ​publication speeds​, ​missions​, and ​utility​ of the national vulnerability databases (NVDs) of two countries: China and the United States. We decided to apply the same analytic techniques to Russia’s vulnerability database to see what we could learn. This report includes a detailed analysis of vulnerabilities published by the Federal Service for Technical and Export Control of Russia (FSTEC), official Russian government documents, Recorded Future data, and open source intelligence (OSINT). The data analyzed for this report was compiled on March 30, 2018. Executive Summary Russia’s vulnerability database is highly focused. However, it is incomplete, slow, and likely intended to support the control of the Russian state over technology companies and users. Generally, Russia publishes only 10 percent of known vulnerabilities, is on average 83 days slower than China’s National Vulnerability Database (NVD), 50 days slower than the U.S. NVD, and incomplete in the few technologies it does cover. Key Judgements ● Russia’s vulnerability database is run by the Federal Service for Technical and Export Control of Russia (FSTEC). FSTEC is the military organization responsible for protecting state secrets and supporting counterintelligence and counterespionage operations. ● FSTEC’s vulnerability database is also known as the BDU (Банк данных угроз безопасности информации). The BDU has published only 11,036 vulnerabilities of the 107,901 CVEs reported by NVD (approximately 10 percent).
    [Show full text]
  • Testing and Verification of Operating Systems and Information Security Issues
    Testing and Verification of Operating Systems and Information Security Issues Prof. Alexander K. Petrenko, [email protected] 12th TAROT Summer School on Software Testing, Verification & Validation Paris, July, 2016 Institute for System Programming . ISP RAS belongs to the Division of Mathematical Sciences of the RAS. The Institute employs more than 200 highly qualified researchers and software engineers, including 12 doctors of science and 45 philosophy doctors. Many employees of the Institute also work as professors in leading Moscow universities. 2 / 115 Software Engineering Department . SE Department staff: . over 40 researchers and engineers, including 3 Doctors of Sc. and 13 Ph.D. Major partners and customers . Foreign partners: Microsoft Research, Intel Labs, Nokia, Google, ETRI, EADS Telecom, University of Passau, Fraunhofer FOKUS . Russian partners: NIISI RAS, GosNIIAS, VimpelCom, MCST(Elbrus) . International organizations: ISO/JTC 1, ETSI, The Linux Foundation 3 / 115 ISPRAS Research Model = ? ISPRAS Research Model = Industrial Research 4 / 115 Application Domains 5 / 115 SE Department R&D Domains . Verification techniques and tools (testing, software model checking, deductive verification) . Trusted operating systems (Linux family, ARINC-653 Real-Time OS) . Tool chains for critical software life cycle support . Requirements management tools . System modeling (AADL), simulation, risk analysis . Cyber-physical system integration (avionics) . Telecom and operating systems API/ABI standards . Hardware designs testing . Model Based Testing foundations 6 / 115 Agenda 1. What is the “Operating System”? 2. Spectrum of OS testing and verification methods 3. State of the Art and ISPRAS’s experience 4. Information security specifics and OS verification 7 / 115 OS Verification Challenge • Operating System is a base of software platform.
    [Show full text]
  • Tätigkeitsbericht Über Das Geschäftsjahr 2015
    The Document Foundation Kurfürstendamm 188 107707 Berlin Telefon: 030 575577992-0 Telefax: 030 575577992-99 E-Mail: [email protected] Web: htttp://www.documentfoundation.org Tätigkeitsbericht über das Geschäfsjahr 2015 Zeitraum: 1. Januar 2015 bis 31. Dezember 2015 Lizenziert unter Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International Lizenz The Document Foundation – Tätigkeitsbericht über das Geschäfsjahr 2015 Inhaltsverzeichnis 1 Vorwort 4 2 Das Jahr 2015 im Überblick 5 2.1 Die Stifung 5 2.2 LibreOfice 6 2.2.1 LibreOfice 4.4 7 2.2.2 LibreOfice 5.0 8 2.2.3 LibreOfice Viewer für Android 8 2.3 Finanzen und Budget 9 2.3.1 Transttparenz 9 2.3.2 Förderanträge 10 2.3.3 Projektttplanung und Budgets in 2016 10 3 Community, Projekte und Veranstaltungen 10 3.1 LibreOfice Conference 2015 10 3.2 Zertifizierungsttprogramm 12 3.3 Webseite 13 3.3.1 Stifungs-Webseite in neuem Glanz 14 3.3.2 Ein neues Blog 14 3.3.3 Statistiken 14 3.4 Qalitätssicherung 15 3.4.1 Bug Hunting Sessions 15 3.4.2 Bibisecting 16 3.4.3 Tests zur Medienunterstützung 16 3.5 Hackfeste 16 3.5.1 Brüssel, 2.-3. Februar 16 3.5.2 Gran Canaria, 19.-20. März 16 3.5.3 Cambridge, 21.-23. Mai 17 3.5.4 Hamburg, 23.-25. Oktober 17 3.5.5 Terni, 28. November 17 3.5.6 Madrid, 2.-4. Dezember 18 3.6 Sttprachttprojekte 18 3.6.1 Deutschland: Veranstaltungen 18 3.6.2 Jattpan: Veranstaltungen, Übersetzung, Marketing 19 3.6.3 Indien: Erstes Trefen 19 3.6.4 Türkei: Konferenz 20 3.6.5 Brasilien: Zeitschrifen 21 3.6.6 Paraguay: Neue Übersetzung 21 3.6.7 Frankreich:
    [Show full text]
  • Using Refinement in Formal Development of OS Security Model⋆
    Using Refinement in Formal Development of OS Security Model? P. N. Devyanin1, A. V. Khoroshilov2, V. V. Kuliamin2, A. K. Petrenko2, and I. V. Shchepetkov2 1 Educational and Methodical Community of Information Security, Moscow, Russia [email protected] 2 Institute for System Programming, Russian Academy of Sciences, Moscow, Russia {khoroshilov,kuliamin,petrenko,shchepetkov}@ispras.ru Abstract. The paper presents work in progress on formal development of an operating system security model. The main goal is to measure our confidence in the quality of the model. Additional goal is to simplify its maintenance. We formalized and verified the model using formal method Event-B in two ways | with and without use of the refinement tech- nique | in order to compare them and figure out what approach meets our goals better. Refinement is technique that helped us deal with com- plexity of the model, improve readability and simplify automatic proofs. However, deep understanding of the security model details and careful planning were absolutely necessary to achieve this. The approach with- out use of the refinement technique allowed to quickly start formalization and helped to study the details of the security model, but the resulting formal model became hard to maintain and explore. Keywords: security model; formal verification; refinement; Event-B. 1 Introduction Traditionally computer security models are expressed by combining a natural language and mathematical notations. Proofs of their correctness and consis- tency are performed by hand. Such proofs are error prone and not completely reliable. Besides, the reliability of manual proofs decreases with increasing size and complexity of the models. Formal methods are promising approaches for specification and verification of software systems [10].
    [Show full text]
  • Catalogue of Technologies 2020
    Catalogue of Technologies 2020 contents 5 Victor Ivannikov 80th anniversary (1940–2016) 7 ISP RAS 2020: Major Events 8 ISP RAS 2020: Technologies Update TECHNOLOGIES 13 Asperitas and cloud solutions family 16 AstraVer: verification toolset 18 BinSide: binary code static analysis tool 20 Casr: crash analysis and severity reporter tool 22 Constructivity 4D: technology of indexing, searching and analysis of large spatial-temporal data 24 ISP Crusher: a dynamic analysis toolset 27 Dedoc: a document structure retrieval system 29 DigiTEF: digital twin platform 31 Klever: the technology for C programs model checking 33 Lingvodoc: virtual laboratory for documenting endangered languages of Technologies Catalogue 35 Masiw: support for designing highly reliable software systems 37 MicroTESK: test program generator 39 ISP Obfuscator 41 Protosphere a network traffic analyzer 43 ISP RAS software analysis platform based on QEMU 46 Retrascope: static analysis of HDL descriptions 48 SciNoon: exploratory search system for scientific groups 50 Svace static analyzer 53 Talisman: a data processing framework 56 Texterra: semantic analyzer 58 Trawl: binary code analysis platform 60 ISP RAS: an innovation ecosystem Victor Ivannikov 80th anniversary (1940-2016) In 2020 we commemorate 80 years since Victor Petrovich Ivannikov’s birthday. Academician Ivannikov was the ISP RAS founder and first director, and now the institute is named after him. His contribution to ISP RAS development is very hard to describe shortly. It includes a scientific school, a way of work famously known as Phystech triangle: research, education, and innovations. But the most important thing about him was his attitude towards his work and people around him. Victor Ivannikov entered Phystech (MIPT) soon after it was Arutyun founded.
    [Show full text]
  • Annual Report 2017
    Russian Federation Federal Agency for Scientific Organizations ST. PЕTЕRSBURG INSTITUTЕ FOR INFORMATIСS AND AUTOMATION OF THЕ RUSSIAN AСADЕMY OF SСIЕNСЕS Annual Report 2017 years St.Petersburg, 2017 SPIIRAS Russian Federation Federal Agency for Scientific Organizations ST. PETERSBURG INSTITUTE FOR INFORMATICS AND AUTOMATION OF THE RUSSIAN ACADEMY OF SCIENCES Annual Report 2017 St. Petersburg, 2017 SPIIRAS Administration Director Yusupov, Rafael M. Corresponding Member of RAS, Honored Scientist of the Russian Federation Tel: +7(812)328-3311; (812)328-3411; Fax: +7(812)328-4450 E-mail: [email protected] Deputy-Director for Research Ronzhin, Andrey L. Professor of RAS, Doctor of Technical Sciences Tel: +7(812)328-7081, E-mail: [email protected] Deputy-Director for Research Sokolov, Boris V. Professor, Doctor of Technical Sciences Honored Scientist of the Russian Federation Tel: +7(812)328-0103, E-mail: [email protected] Deputy-Director for Maintenance Tkach, Anatoly F. Associate Professor, Candidate of Technical Sciences Tel: +7(812)328-1433, E-mail: [email protected] Scientific Secretary Silla, Evgeny P. Candidate of Military Sciences Tel: +7(812)328-0625; E-mail: silla@ iias.spb.su Assistant to Director for International Research Cooperation Podnozova, Irina P. MS in Electrical Engineering Tel: +7(812)328-4446; Fax: +7(812)328-0685 E-mail: [email protected] Street Address: 39, 14 Line, St.Petersburg, 199178, Russia Tel. (812)328-3311; Fax: +7(812)328-4450 E-mail: [email protected] Web: http://www.spiiras.nw.ru General Information
    [Show full text]