检索结果-内蒙古大学图书馆

On the deductive security of queries to confidential databases in cloud computing systems

Moscow University Computational Mathematics and Cybernetics 2017年第1期41卷 38-43页

作者： Varnovsky, N.P. Zakharov, V.A. Shokurov, A.V. Information Security Institute Moscow State University Moscow 119991 Russian Federation Faculty of Computational Mathematics and Cybernetics Moscow State University Moscow 119991 Russian Federation Institute for System Programming of the Russian Academy of Sciences Moscow Russian Federation

We study certain simple models of confidential databases in cloud computing systems. In the framework of these models we introduce a concept of deductive security for queries to such databases, find necessary and sufficient conditions of deductive security, and describe some classes of queries which satisfy these requirements. © 2017, Allerton Press, Inc.

关键词： cloud computing database deductive security homomorphic encryption symmetric function

来源：评论

学校读者我要写书评

暂无评论

Using Lingvodoc platform for researching genetic and areal semantic shifts: the case of Ob-Ugric basic vocabulary

Using Lingvodoc platform for researching genetic and areal s...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Julia V. Normanskaya Ivannikov Institute for System Programming RAS Institute of Linguistics RAS Moscow Russia

Article analysis consists the list the significance of the main results that were obtained when analyzing the graph-phonetic features of the first Cyrillic books in the XIX century:*** first Cyrillic books allow us to see how the classification of dialects *** first Cyrillic books allow you to date the time of phonetic *** first Cyrillic books make it possible to verify the accuracy of transcription of extinct dialects completed by different *** first Cyrillic books made it possible to identify phenomena that persist in modern dialects and existed in the XIX century, but previously did not attract the systematic attention of *** first Cyrillic books make it possible to clarify the territory where speakers of some dialects had previously *** first Cyrillic books confirm the reconstruction of the *** books allow us to clarify the reconstruction of the *** first Cyrillic books allow us to establish who was the true creator of literary languages.

关键词： Vocabulary systematics Semantics Phonetics Genetics

来源：评论

学校读者我要写书评

暂无评论

Securing the EDK II Image Loader

Securing the EDK II Image Loader

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Marvin Häuser Vitaly Cheptsov Technische Universität Kaiserslautern Ivannikov Institute for System Programming of the Russian Academy of Sciences Kaiserslautern Germany Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years, which continues to spread to other architectures such as ARM and RISC-V. The UEFI incorporates a modular design based on images containing a driver or an application in a Common Object File Format (COFF) either as a Portable Executable (PE) or as a Terse Executable (TE). The de-facto standard generic UEFI services implementation, including the image loading functionality, is TianoCore EDK II. Its track of security issues shows numerous design and implementation flaws some of which are yet to be addressed. In this paper we outline both the requirements for a secure UEFI Image Loader and the issues of the existing implementation. As an alternative we propose a formally verified Image Loader supporting both PE and TE images with fine-grained hardening enabling a seamless integration with EDK II and subsequently with the other firmwares.

关键词： Operating systems Computer architecture Static analysis Software Security Standards Microprogramming

来源：评论

学校读者我要写书评

暂无评论

Securing the EDK II image loader

arXiv

引用

arXiv 2020年

作者： Häuser, Marvin Cheptsov, Vitaly Technische Universität Kaiserslautern Ivannikov Institute for System Programming The Russian Academy of Sciences Kaiserslautern Germany Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia

关键词： Loaders

来源：评论

学校读者我要写书评

暂无评论

Compositional Environment Modelling for Verification of GNU C Programs

Compositional Environment Modelling for Verification of GNU ...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ilja Zakharov Evgeny Novikov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

There is still a gap between rapid development of new verification techniques and their practical application. One of major obstacles to performing sound formal verification of large GNU C programs is the necessity to prepare environment models. Researchers usually propose laborious ad-hoc solutions for environment modelling. Also, few software verification frameworks automate this step but they support a narrow class of software, e.g. device drivers or embedded systems. This paper proposes a method for automated compositional generation of environment models that supports adapting to project specifics and enables scalable software verification of various software. We evaluated the proposed method on device drivers and subsystems of the Linux kernel as well as on BusyBox applets.

关键词： Tools Device drivers Generators Libraries C languages

来源：评论

学校读者我要写书评

暂无评论

Dynamic verification of hybrid systems

Dynamic verification of hybrid systems

引用

Tools & Methods of Program Analysis (TMPA)

作者： Nikolay Pakulin Department of Software Engineeing Institute for System Programming of RAS Moscow Russia

In the recent decade we face aggressive replacement of analog control loops with digital ones. Even for critical systems there are ongoing projects for digital control: “Smart Grids” in power industry, “Integrated Modular Avionics” in aerospace, “Smart Fabrics” in manufacturing, etc. Introduction of large scale digital control channels raises the risks of faults that might result in heavy losses. Those risks call for new methods of analysis and verification, including modeling hybrid systems and model-based verification. The paper overviews a number of existing approaches to verification of hybrid systems and introduces architecture of a test bed for dynamic verification of models of hybrid systems.

关键词： Numerical models Mathematical model Testing Automata Analytical models Atmospheric modeling Software packages

来源：评论

学校读者我要写书评

暂无评论

On Implementation of Discontinuous Galerkin Scheme for Gas Dynamics Problems Using Open-Source Software

On Implementation of Discontinuous Galerkin Scheme for Gas D...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Victoria Korchagova Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The paper is concerned to implementation of the Runge - Kutta Discontinuous Galerkin numerical scheme using open-source software. Many big finite element libraries have a branch for development of high-order methods, but a majority of solvers were implemented only for continuous problems. The application for modelling of compressible inviscid gas flows with strong discontinuities has been implemented based on the free finite element library MFEM. The verification results for three test cases (Shu - Osher problem, Mach 3 wind tunnel with a forward step, three-dimensional Sod-like explosion) is presented.

关键词： Wind tunnels Fluid flow Libraries Finite element analysis Numerical models Method of moments Open source software

来源：评论

学校读者我要写书评

暂无评论

Alternative Hdlod Method For Large Scenes With Multiple Dynamic Behaviors 17

Alternative Hdlod Method For Large Scenes With Multiple Dyna...

引用

17th International Conference on Interfaces and Human Computer Interaction 2023, IHCI 2023, the 17th International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing 2023, CGVCVIP 2023 and 16th International Conference on Game and Entertainment Technologies 2023, GET 2023

作者： Shutkin, Vasily Semenov, Vitaly Zolotov, Vladislav Morozkin, Nikita Ivannikov Institute for System Programming of Russian Academy of Sciences 25 Alexander Solzhenitsyn st Moscow109004 Russia 9 Institutskiy Per. Moscow Region Dolgoprudny141701 Russia

ISBN: (纸本)9789898704498

Efficient rendering of large dynamic scenes is one of the most important problems of computer graphics, which arises in many applications such as CAD/CAM/CAE, geoinformatics, project management, scientific visualization, virtual and augmented reality, computer games and animation. The previously developed method of Hierarchical Dynamic Levels of Detail (HDLOD) helps alleviate this problem. However, it has some drawbacks when it comes to the applications where 3D scene must be visualized with different dynamic behaviors sequentially or simultaneously in several windows. Also, the method requires to regenerate all representations when dynamic behavior of some objects change. This happens, because HDLOD combines both spatial and temporal information in single data structure. In this paper we present an alternative version of HDLOD method that decouples spatial and temporal information into different interrelated data structures. © 2023 Proceedings of the International Conferences on Interfaces and Human Computer Interaction 2023, IHCI 2023;Computer Graphics, Visualization, Computer Vision and Image Processing 2023, CGVCVIP 2023;and Game and Entertainment Technologies 2023, GET 2023. All rights reserved.

关键词： Computer games

来源：评论

学校读者我要写书评

暂无评论

UEFI virtual machine firmware hardening through snapshots and attack surface reduction

UEFI virtual machine firmware hardening through snapshots an...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Mikhail Krichanov Vitaly Cheptsov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781665423311

The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the oper-ating system used in all x86-based platforms over the past ten years. A side effect of the transition from conventional BIOS implementations to more complex and flexible implementations based on the UEFI was that it became easier for the malware to target BIOS in a widespread fashion, as these BIOS implementations are based on a common specification. This paper introduces Amaranth project - a solution to some of the contemporary security issues related to UEFI firmware. In this work we focused our attention on virtual machines as it allowed us to simplify the development of secure UEFI firmware. Security hardening of our firmware is achieved through several techniques, the most important of which are an operating system integrity checking mechanism (through snapshots) and overall firmware size reduction.

关键词： Runtime Nonvolatile memory Software algorithms Prototypes Static analysis Virtual machining Workstations

来源：评论

学校读者我要写书评

暂无评论

The benefits of middleware for safety-related systems-on-chip

The benefits of middleware for safety-related systems-on-chi...

引用

International Symposium on Fundamentals of Electrical Engineering (ISFEE)

作者： Karolin Löser Emil Delic Michael Schreiber Ali Hayek Josef Börcsök Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

system-on-Chip architectures are increasingly designed for safety-related purposes. As a very high level of interlocking of hard- and software is required for such specialized systems, different concepts for the software composition are necessary. This paper investigates the benefits resulting from the utilization of a middleware which handles all low-level hardware access demanded by the application. Several measures recommended by standard IEC 61508 are implemented “quasi-automatically” if a certified middleware is used. In addition, the certification effort is drastically decreased if the implementation of main functionalities is based on certified, reused components. Another “side-effect” is the hiding of details concerning the system-on-chip and the operating system as the application always uses the middleware interfaces.

关键词： system-on-chip IEC standards Hardware Middleware Safety

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：