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

10th IAPR Conference on Machine Vision Applications (MVA2007)

作者： Kim, Ikkyun Kang, Koohong Choi, Yangseo Kim, Daewon Oh, Jintae Jang, Jongsoo Han, Kijun ETRI Informat Secur Res Div Taejon 305700 South Korea Seowon Univ 231 Dept Informat & Commun Engn Chonju 361742 South Korea Kyungpook Natl Univ Dept Comp Engn Taegu 702701 South Korea

The ability to recognize quickly inside network flows to be executable is prerequisite for malware detection. For this purpose, we introduce an instruction transition probability matrix (ITPX) which is comprised of the IA-32 instruction sets and reveals the characteristics of executable code's instruction transition patterns. And then, we propose a simple algorithm to detect executable code inside network flows using a reference ITPX which is learned from the known Windows Portable executable files. We have tested the algorithm with more than thousands of executable and non-executable codes. The results show that it is very promising enough to use in real world.

关键词： executable code malware detection IA-32 instruction

来源：评论

学校读者我要写书评

暂无评论

An executable code Authorization Model for Secure Operating System

An Executable Code Authorization Model for Secure Operating ...

引用

International Symposium on Electronic Commerce and Security

作者： Chen Zemao Wu Xiaoping Tang Weimin Naval Univ Engn Dept Informat Secur Wuhan 430033 Hubei Peoples R China Beijing Jiaotong Univ Sch Comp Beijing 100044 Peoples R China

ISBN: (纸本)9780769532585

executable code not effectively inspected and authorized before its execution has been one of the key reasons for wild spread of malicious codes. This paper proposes a program file authorization model based on an integrity measurement and access control combined methodology. It measures integrity signature of each program file and verifies it with the its original value before its execution. By allowing only running of known and trusted programs, it is able to disable invokes of malicious programs. To protect from attacks which don't modify a program file, an active code authorization scheme is proposed It divides a program file into an ordered series of code blocks by the return and jump instructions, constructs the integrity signatures of all code blocks respectively at compiling time, then measures and verifies them at run-time. By disallowing unexpected code blocks from running, it is able to prevent invokes of malicious codes injected by attackers.

关键词： program file codes executable code Authorization Legal Executions Verification Attackers Runtime Operating systems access control

来源：评论

学校读者我要写书评

暂无评论

Improved Algorithm for Identification of Switch Tables in executable code 17

Improved Algorithm for Identification of Switch Tables in Ex...

引用

Conference of Open Innovations Association FRUCT

作者： Gedich, Andrei Lazdin, Artur St Petersburg Natl Res Univ Informat Technol Mech St Petersburg Russia

ISBN: (纸本)9785757704937

This paper introduces novel approach for identification of switch tables in executable code. Compared to existing solutions based on SSA intermediate representation and different propagation techniques, developed algorithm is more accurate and has greater flexibility. Set of iterative algorithms based on Pearson, weighted Pearson and Spearman correlation coefficients is introduced in this paper. Simple noise value filtering and improved segmentation algorithm are described.

关键词： executable code Switches Iterative algorithms Tables algorithms

来源：评论

学校读者我要写书评

暂无评论

Software Architecture for Scalable Computing Systems with Automatic Granularity Selection of executable code 17

Software Architecture for Scalable Computing Systems with Au...

引用

Conference of Open Innovations Association FRUCT

作者： Pavlov, Mikhail Petrov, Alexander NPP SATEK Plus LTD Rybinsk Russia Soloviev Rybinsk State Aviat Tech Univ Rybinsk Russia

ISBN: (纸本)9785757704937

The problem of developing software architecture and its platform implementation for scalable cloud services is addressed in the paper. New scheme of distributed software developing and executing is presented with argumentation and main principles behind solution. Performance evaluation of one of the platform components (data storage) is described.

关键词： Software architecture executable code Distributed software Scalability Cloud Computing

来源：评论

学校读者我要写书评

暂无评论

executable code: what, why and how

引用

Pharmaceutical Programming 2012年第1期5卷 65-69页

作者： Naygandhi, Hiren Roche Products Ltd Welwyn Garden City UK

The pharmaceutical industry is continually evolving as it meets the on-going demands of external pressures such as rising development costs, patents, regulatory bodies and patients. Programmers can contribute by, accelerating the time to approval; ensuring patients receive treatment as quickly as possible. One area in particular where programmers can make a difference in accelerating the decision making, is by providing health authorities with executable code as part of the e-submission in the US. At Roche we have developed a standard approach with tools to facilitate this process. [ABSTRACT FROM AUTHOR]

关键词： E-Submission executable code FDA Macros SAS Standalone code

来源：评论

学校读者我要写书评

暂无评论

From Agent Interaction Protocols to executable code: A Model-driven Approach 09

From Agent Interaction Protocols to Executable Code: A Model...

引用

International Conference on Autonomous Agents and Multiagent Systems

作者： Christian Hahn Ingo Zinnikus Stefan Warwas Klaus Fischer German Research Center for Artificial Intelligence (DFKI)

In this paper, we demonstrate how to design protocols with the platform independent modeling language for multiagent systems (DSML4MAS) and discuss a model-driven approach to use protocol descriptions as a base for ge... 详细信息

ISBN: (纸本)9781615673346

关键词： Design Language Agent Interaction Protocols Model-driven code Generation Model Transformation Language protocols executable code Agents Alkali Intelligent agents modelling languages Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes

引用

INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2023年第5期22卷 1277-1290页

作者： Baradaran, Sara Heidari, Mahdi Kamali, Ali Mouzarani, Maryam Isfahan Univ Technol Dept Elect & Comp Engn Esfahan Iran

Memory corruption is a serious class of software vulnerabilities, which requires careful attention to be detected and removed from applications before getting exploited and harming the system users. Symbolic execution is a well-known method for analyzing programs and detecting various vulnerabilities, e.g., memory corruption. Although this method is sound and complete in theory, it faces some challenges, such as path explosion, when applied to real-world complex programs. In this paper, we present a method for improving the efficiency of symbolic execution and detecting four classes of memory corruption vulnerabilities in executable codes, i.e., heap-based buffer overflow, stack-based buffer overflow, use-after-free, and double-free. We perform symbolic execution only on test units rather than the whole program to lower the chance of path explosion. In our method, test units are considered parts of the program's code, which might contain vulnerable statements and are statically identified based on the specifications of memory corruption vulnerabilities. Then, each test unit is symbolically executed to calculate path and vulnerability constraints for each statement of the unit, which determine the conditions on unit input data for executing that statement or activating vulnerabilities in it, respectively. Solving these constraints gives us input values for the test unit, which execute the desired statements and reveal vulnerabilities in them. Finally, we use machine learning to approximate the correlation between system and unit input data. Thereby, we generate system inputs that enter the program, reach vulnerable instructions in the desired test unit, and reveal vulnerabilities in them. This method is implemented as a plug-in for angr framework and evaluated using a group of benchmark programs. The experiments show its superiority over similar tools in accuracy and performance.

关键词： Vulnerability detection executable code Symbolic execution Unit testing Machine learning Memory corruption

来源：评论

学校读者我要写书评

暂无评论

AN executable SERVICE COMPOSITION code AUTOMATIC CREATION TOOL BASED ON PETRI NET MODEL

引用

COMPUTING AND INFORMATICS 2013年第5期32卷 968-986页

作者： Ding, Zhijun Liu, Jieqi Wang, Junli Wang, Fang Tongji Univ Dept Comp Sci & Technol Shanghai 201084 Peoples R China Brunel Univ Dept Informat Syst & Comp Uxbridge UB8 3PH Middx England

For Web services composition problem, this paper proposes an executable code creation algorithm to model Web services composition based on Petri net model, and develops an executable composition code automatic creation tool. This tool can achieve the automatic creation process from composition model to executable code, and more meaningfully makes it possible to analyze and validate composition process logically. Finally, experiment results have proven that the tool of this paper is feasible.

关键词： Petri net model web services composition executable code

来源：评论

学校读者我要写书评

暂无评论

Lowering barriers to interaction: Programming without code

Lowering barriers to interaction: Programming without code

引用

IEEE Symposium on Visual Languages and Human-Centric Computing

作者： Brand, Catharine Univ Colorado Boulder CO 80309 USA

We developed a method of annotating pre-existing software so that an end-user can change the underlying program via an interface created from the annotations and generate new executable code.

ISBN: (纸本)9780769529875

We developed a method of annotating pre-existing software so that an end-user can change the underlying program via an interface created from the annotations and generate new executable code.

关键词： codes End users ANNOTATIONS executable code

来源：评论

学校读者我要写书评

暂无评论

IMPLEMENTING REMOTE EVALUATION

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1990年第7期16卷 710-722页

作者： STAMOS, JW GIFFORD, DK MIT COMP SCI LABCAMBRIDGEMA 02139

Remote evaluation (REV) is a construct for building distributed systems that involves sending executable code from one computer to another computer via a communication network. How REV can reduce communication and improve performance for certain classes of distributed applications is explained. Implementation issues are discussed. REV is incorporated into a high-level programming language by defining its syntax and its semantics. The compile-time and run-time support for REV is discussed in both heterogeneous and homogeneous systems and compared to that needed by a remote procedure call implementation. Sample performance measurements are included. Experience with a prototype REV implementation is summarized.

关键词： homogeneous system Computers executable code syntax high-level programming languages Remote Communication Research networks(communications) Heterogeneous Distributed Systems Runtime

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：