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

IEEE International Conference on Computer Design

作者： Fiskiran, AM Lee, RB Princeton Univ Dept Elect Engn Princeton NJ 08544 USA

ISBN: (纸本)0769522319

Many computer security threats involve execution of unauthorized foreign code on the victim computer. Viruses, network and email worms, Trojan horses, backdoor programs used in Denial of Service attacks are a few examples. In this paper, we present an architectural technique, which we call Runtime Execution Monitoring (REM), to detect program flow anomalies associated with such malicious code. The key idea in REM is the verification of program code at the hash block (similar to a basic block) level. This is achieved by pre-computing keyed hashes (HMACs) for each hash block during program installation, and then verifying these values during program execution. By verifying program code integrity at the hash block level, REM can monitor instructions whose behavior is typically exploited by malicious code, such as branch, call, return instructions. Performance degradation with REM averages 6.4% on our benchmark programs, which can be reduced to under 5% by increasing the size of the L1 instruction cache.

关键词： message authentication program verification memory architecture cache storage file organisation runtime execution monitoring malicious code execution computer security unauthorized foreign code victim computer program flow anomalies keyed message authentication code program code verification instruction cache memory file organisation Computer Security message authentication cache storage Memory architecture Spyware Legal Executions block level hashing program code

来源：评论

学校读者我要写书评

暂无评论

Instruction Prediction in Microprocessor Unit

Instruction Prediction in Microprocessor Unit

引用

18th Conference on Computer Networks (CN 2011)

作者： Kwiecien, Andrzej Mackowski, Michal Skoroniak, Krzysztof Silesian Tech Univ Inst Comp Sci PL-44100 Gliwice Poland

ISBN: (纸本)9783642217708

Protection of computer systems from an unauthorized access to the classified information is a very essential issue. The research deals with some aspect of this problem resulting from the fact, that for instance, an author of a software for embedded system is not aware that it is possible to identify partly or entirely, program code. It can be done in non-invasive way, without influence on the microprocessor internal structure and program memory. The authors intend to prove that it is possible to recognise the instructions executing by certain type of microprocessor, analysing only the character of disturbances in the power supply lines. The research results inspire to the more careful study of ways and methodology for developing software, which should highly hinder the software reverse engineering.

关键词： reverse engineering program code microcontroller conducted emission electromagnetic disturbances electromagnetic interference

来源：评论

学校读者我要写书评

暂无评论

A methodology and tool support for the development and application of frameworks

引用

Journal of Integrated Design and Process Science 1999年第2期3卷 21-32页

作者： Ivanov, E. Philippow, I. Preissel, R. Technical University of Ilmenau Germany

This paper addresses reuse, which is one of the most important goals in software development. More specifically, the topic of high level reuse is in more interest. Frameworks are considered the highest level of reuse, because not only could they program codes, but also the design is capable of being reused. Although frameworks consist of the highest level of reuse, the development and application of frameworks are extremely difficult and costly. The work put into the development and application of frameworks was a result of the cooperation between Corporate Research and Development of Siemens AG, Munich, Germany and the Technical University of Ilmenau, Germany. © 1999, IOS Press. All rights reserved.

关键词： .software development functionality program code highest level TOOL SUPPORT DEVELOPMENT AND APPLICATION Taligent

来源：评论

学校读者我要写书评

暂无评论

Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity 1

Smart Contracts: Security Patterns in the Ethereum Ecosystem...

引用

IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE)

作者： Woehrer, Maximilian Zdun, Uwe Univ Vienna Fac Comp Sci Wahringerstr 29 A-1090 Vienna Austria

ISBN: (纸本)9781538659861

Smart contracts that build up on blockchain technologies are receiving great attention in new business applications and the scientific community, because they allow untrusted parties to manifest contract terms in program code and thus eliminate the need for a trusted third party. The creation process of writing well performing and secure contracts in Ethereum, which is today's most prominent smart contract platform, is a difficult task. Research on this topic has only recently started in industry and science. Based on an analysis of collected data with Grounded Theory techniques, we have elaborated several common security patterns, which we describe in detail on the basis of Solidity, the dominating programming language for Ethereum. The presented patterns describe solutions to typical security issues and can be applied by Solidity developers to mitigate typical attack scenarios.

关键词： Contracts Cryptography programming Virtual machining Writing contract Soundness virtual machines Writing cryptography programming virtual machining program code

来源：评论

学校读者我要写书评

暂无评论

Acquisition of E5 Galileo signals in Matlab 3

Acquisition of E5 Galileo signals in Matlab

引用

3rd IAA-RACTs Conference on Scientific and Technological Experiments on Automatic Space Vehicles and Small Satellites (SPEXP)

作者： Stepanova, Ekaterina Kudryavtsev, Ilya Lohan, Elena Simona Samara State Aerosp Univ Moskovskoye Shosse 34 Samara 443086 Russia Tampere Univ Technol FI-33720 Tampere Finland

The deployment of Galileo constellation leads to the need of efficient algorithms for acquisition and tracking of Galileo signals. These signals are different from GPS signals and this difference should be taken into consideration in the program code. This paper deals with the acquisition of Galileo signals in Matlab. The code is developed on the basis of the free code developed by Kai Borre for GPS Software defined radio [1]. (C) 2015 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license.

关键词： acquisition AltBOC modulation autocorrelation function (ACF) Galileo signal Matlab navigational signal program code

来源：评论

学校读者我要写书评

暂无评论

Detecting Computer code Plagiarism in Higher Education

Detecting Computer Code Plagiarism in Higher Education

引用

31st International Conference on Information Technology Interfaces

作者： Konecki, Mario Orehovacki, Tihomir Lovrencic, Alen Fac Org & Informat Varazhdin 42000 Croatia

ISBN: (纸本)9789537138158

Rapid development of industry and economy requires quick and efficient education of large amount of theoretical knowledge and practical skills. In computer science, especially in programming, this trend is very noticeable and real experts are needed and hard to create. But new problem has emerged in higher education and its name is plagiarism. In order to prevent this one would have to check all students program codes to find similarities. To do this efficiently a procedure has been designed upon which a certain prototype was developed and tested We discuss efficiency of this solution and we also mention some other methods and algorithms. We also discuss some other possible usages of this solution and we mention further actions and steps in our research.

关键词： plagiarism detection program code comparison higher education

来源：评论

学校读者我要写书评

暂无评论

Finding dispatcher gadgets for jump oriented programming code reuse attacks

Finding dispatcher gadgets for jump oriented programming cod...

引用

8th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)

作者： Erdodi, L. Obuda Univ Fac John von Neumann Budapest Hungary

ISBN: (纸本)9781467364003;9781467363976

One of the most dangerous forms of the memory manipulation based attacks is the code reuse based attack type. In this type of attack the malwares do not need to place own malicious code in the memory space, they use the already linked code to achieve the aim. The present study discusses a critical part of the jump oriented programming which is nowadays the most up-to-date memory manipulation attack type. The controlling element of the jump oriented attacks is the so-called dispatcher gadget which controls the creation of the malicious code from the available legitimate code patches. The use of the dispatcher gadgets has already been introduced on 32bit Linux systems but generally the search algorithm and the classification are still open questions. This study presents the dispatcher gadgets and their characteristics found in the basic dll files of the windows 32 bit system and in the 64 bit Linux libc files.

关键词： Software reuse Spyware gadgets Dispatchers jump memory space program code critical parts SEARCHING ALGORITHM Oriented

来源：评论

学校读者我要写书评

暂无评论

Disposable Testing: Avoiding Maintenance of Generated Unit Tests by Throwing Them Away 17

Disposable Testing: Avoiding Maintenance of Generated Unit T...

引用

IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

作者： Shamshiri, Sina Campos, Jose Fraser, Gordon McMinn, Phil Univ Sheffield Dept Comp Sci Sheffield S Yorkshire England

ISBN: (纸本)9781538615898

Developers write unit tests together with program code, and then maintain these tests as the program evolves. Since writing good tests can be difficult and tedious, unit tests can also be generated automatically. However, maintaining these tests (e.g., when APIs change, or, when tests represent outdated and changed behavior), is still a manual task. Because automatically generated tests may have no clear purpose other than covering code, maintaining them may be more difficult than maintaining manually written tests. Could this maintenance be avoided by simply generating new tests after each change, and disposing the old ones? We propose disposable testing: Tests are generated to reveal any behavioral differences caused by a code change, and are thrown away once the developer confirms whether these changes were intended or not. However, this idea raises several research challenges: First, are standard automated test generation techniques good enough to produce tests that may be relied upon to reveal changes as effectively as an incrementally built regression test suite? Second, does disposable testing reduce the overall effort, or would developers need to inspect more generated tests compared to just maintaining existing ones?

关键词： Testing Maintenance engineering Software engineering Tools Manuals Computer bugs Software Maintenance engineering Software engineering Humping computer software Developers program code Test generation

来源：评论

学校读者我要写书评

暂无评论

Translating Java for Resource Constrained Embedded Systems

Translating Java for Resource Constrained Embedded Systems

引用

7th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC)

作者： Plumbridge, Gary Audsley, Neil Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

ISBN: (纸本)9781467325721

This paper discusses a strategy for translating the Java programming language to a form that is suitable for execution on resource limited embedded systems such as softcore processors in FPGAs, Network-on-Chip nodes and microcontrollers. The translation strategy prioritises the minimisation of runtime memory usage, generated code size, and suitability for a wide range of small architectures over other desirable goals such as execution speed and strict adherence to the Java standard. The translation procedure, or Concrete Hardware Implementation of a software application first converts the application's compiled Java class files to a self-contained intermediate representation conducive to optimisation and refactoring. The intermediate format is then serialised into a programming language compilable to the target architecture. This paper presents techniques for analysing whole Java applications, translating Java methods and building a stand-alone translated application with the same functional behaviour as the original Java. An example C-code generator is described and evaluated against similar previous approaches. An existing benchmark application, JavaBenchEmbedded, is demonstrated to require less than 30KiB of program code and 16KiB of runtime heap memory when executing on a Xilinx MicroBlaze Processor.

关键词： Embedded systems program code execution speed

来源：评论

学校读者我要写书评

暂无评论

Power Consumption Analysis of Microprocessor Unit Based on Software Realization 20

Power Consumption Analysis of Microprocessor Unit Based on S...

引用

20th International Conference on System Controls and Computer Science 2015

作者： Mackowski, Michal Niezabitowski, Michal Silesian Tech Univ Fac Automat Control Elect & Comp Sci 16 Akad St PL-44101 Gliwice Poland

ISBN: (纸本)9781479917808

With the advent of portable and high density microelectronic devices, the minimization of power consumption in CMOS VLSI circuits is becoming a critical concern. An embedded system is a combination of electronic hardware and software and sometimes additional parts designed to perform a dedicated function. In many cases system (microprocessor) must monitor the amount of power it uses and take appropriate steps to save the battery life. There are several methods to save power consumption of microprocessor unit including: clock control, power-sensitive processors, low-voltage and circuit shutdown. The effect of reducing power consumption can be achieved either by hardware or software optimization. This paper presents the software level power consumption analysis of MCU, focusing mainly on instruction and data realization.

关键词： power consumption microprocessor unit program code microcontroller software realization instruction cycle electromagnetic disturbances

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：