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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

36 篇 期刊文献
20 篇 会议
2 篇 学位论文

馆藏范围

58 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

53 篇 工学
- 47 篇 计算机科学与技术...
- 25 篇 软件工程
- 9 篇 电气工程
- 5 篇 信息与通信工程
- 3 篇 控制科学与工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 建筑学
4 篇 理学
- 4 篇 数学
- 2 篇 统计学（可授理学、...
1 篇 管理学
- 1 篇 管理科学与工程(可...
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

58 篇 control flow ana...
7 篇 static analysis
7 篇 data flow analys...
3 篇 languages
3 篇 program analysis
3 篇 abstract interpr...
3 篇 theory
2 篇 continuation
2 篇 linear logic
2 篇 eta expansion
2 篇 program slicing
2 篇 algorithms
2 篇 bioambients
2 篇 systems biology
2 篇 data mining
2 篇 process calculus
2 篇 decompilation
2 篇 type flaw attack...
2 篇 proofnet
2 篇 software testing

机构

3 篇 univ pisa dipart...
3 篇 tech univ denmar...
2 篇 brandeis univ wa...
2 篇 univ pisa dipart...
2 篇 univ pisa dipart...
2 篇 univ pisa dipart...
1 篇 univ sassari dip...
1 篇 univ sci & techn...
1 篇 linköping univer...
1 篇 univ victoria de...
1 篇 univ london impe...
1 篇 roskilde univ ro...
1 篇 amirkabir univ t...
1 篇 hong kong polyte...
1 篇 zhejiang gongsha...
1 篇 univ sci & techn...
1 篇 univ szeged dept...
1 篇 gebze inst techn...
1 篇 georgia inst tec...
1 篇 northeastern uni...

作者

9 篇 bodei chiara
5 篇 degano pierpaolo
3 篇 alam shahid
3 篇 nielson flemming
2 篇 mairson harry g.
2 篇 van horn david
2 篇 brodo linda
2 篇 traore issa
2 篇 thorup m
2 篇 gao han
2 篇 priami corrado
2 篇 nielson hanne ri...
2 篇 alstrup s
2 篇 lauridsen pw
2 篇 horspool r. nige...
1 篇 hankin chris
1 篇 mao jian
1 篇 chung cm
1 篇 saha seemanta
1 篇 di lorenzo giusy

语言

49 篇 英文
7 篇 其他
1 篇 德文
1 篇 中文

检索条件"主题词=Control Flow Analysis"

共 58 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Towards automation of testing high-level security properties

Towards automation of testing high-level security properties

引用

22nd Annual Conference on Data and Applications Security

作者： Hanna, Aiman Ling, Hai Zhou Furlong, Jason Debbabi, Mourad Concordia Univ CIISE Comp Secur Lab Montreal PQ Canada

ISBN: (纸本)9783540705666

Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many would argue that the simpler solution to the problem would be to test the software before deploying it. Although we support this argument, we understand that it is not necessarily applicable in a modern development environment. Software testing is labor intensive and is very expensive from a time and cost perspective. While much research has been undertake to automate software testing, very little has been directed at security testing. Additionally, the majority of these efforts have targeted low-level security (safety) instead of high-level security. In this paper, we present elements of a solution towards automation of testing security properties and for the generation of test data suites for detecting security vulnerabilities in software.

关键词： security testing dynamic analysis data dependency test data generation control flow analysis

来源：评论

学校读者我要写书评

暂无评论

Protocol Knowledge Combined Directed Symbolic Execution for Binary Programs

Protocol Knowledge Combined Directed Symbolic Execution for ...

引用

3rd International Conference on Instrumentation & Measurement, Computer, Communication and control (IMCCC)

作者： Huang, Hui Lu, Yu-Liang Zhao, Jun Wu, Zhi-Yong PLA Elect Engn Inst Network Engn Dept Hefei Peoples R China North Elect Equipments Res Inst Beijing Peoples R China

ISBN: (纸本)9780769551227

Symbolic Execution based defect discovery techniques for binary programs are now widely applied. However, because of the path explosion problem, it's still not applicable for security analysis on large programs. A great many infeasible paths in the target program also reduce the performance. To fast generate test cases reaching the potentially vulnerable program points, this paper introduces constraints implied in input protocols to symbolic execution, calculates vulnerable point reachable control flow paths using static control flow analysis. The path information is then used to limit dynamic symbolic execution's path exploration space. Experiments prove the effectiveness of our method on performance enhancement in symbolic execution and defect discovery.

关键词： protocol knowledge vulnerable point control flow analysis directed symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Model Reduction Techniques for the Formal Verification of Hardware dependent Software

Model Reduction Techniques for the Formal Verification of Ha...

引用

15th IEEE International High Level Design Validation and Test Workshop (HLDVT)

作者： Ecker, Wolfgang Esen, Volkan Findenig, Rainer Steininger, Thomas Velten, Michael Infineon Technol Hagenberg Austria Upper Austrian Univ Appl Sci Hagenberg Austria

ISBN: (纸本)9781424478064

Contemporary researches provide many solutions for formally verifying both hardware and software systems. In this paper, we describe the formal verification of assembly programs, which are part of the HW/SW interface in hybrid systems. We have developed several methods to model assembly programs in VHDL in order to verify their functionality. Our discussion will show that, by applying different reduction methods, we managed to formally verify the correctness of iterative algorithms with execution times higher than 6000 clock cycles.

关键词： Formal Verification Correctness of Assembly Programs control flow analysis Cycle Accurate Modeling Cycle Optimized Modeling

来源：评论

学校读者我要写书评

暂无评论

Privilege Escalation Detecting in Android Applications 3

Privilege Escalation Detecting in Android Applications

引用

3rd International Conference on Big Data Computing and Communications (BIGCOM)

作者： Zhong, Xingqiu Zeng, Fanping Cheng, Zhichao Xie, Niannian Qin, Xiaoxia Guo, Shuli Univ Sci & Technol China Sch Comp Sci & Technol Hefei Anhui Peoples R China Anhui Prov Key Lab Software Comp & Commun Hefei Anhui Peoples R China

ISBN: (纸本)9781538633496

As the most popular mobile operating system, there are large amount of applications developed for Android. Considering security issues, developers are forced to declare relative permissions in manifest file when they need to use sensitive APIs. With the ability of inter-component communication (ICC) provided by Android, malicious applications can indirectly call sensitive APIs through components exposed by other applications, leading to privilege escalation. To address this problem, we propose a method to detect this kind of privilege escalation between two applications. First, we compare the permission sets of both applications. Then, if necessary we identify call links between two applications and perform inter-application control flow analysis. Finally, according to the result of control flow analysis, we can judge whether the privilege escalation exists. As the experiment result shows, our method can accurately detect privilege escalation between two applications.

关键词： Android Applications Privilege Escalation control flow analysis

来源：评论

学校读者我要写书评

暂无评论

SymWalker: Symbolic Execution in Routines of Binary Code 10

SymWalker: Symbolic Execution in Routines of Binary Code

引用

10th International Conference on Computational Intelligence and Security CIS 2014

作者： Ma, Jinxin Dong, Guowei Zhang, Puhan Guo, Tao China Informat Technol Secur Evaluat Ctr Beijing Peoples R China

ISBN: (纸本)9781479974344

Detecting vulnerabilities in binary codes is one of the most difficult problems due to the lack of type information and symbols. We propose a novel tool to perform symbolic execution inside the routines of binary codes, providing easy static analysis for vulnerability detection. Compared with existing systems, our tool has four properties: first, it could work on binary codes without source codes;second, it employs the VEX language for program analysis, thus having no side effects;third, it could deliver high coverage by statically executing on control flow graphs of disassembly codes;fourth, two security property rules are summarized to detect the corresponding vulnerabilities, based on which a convenient interface is provided for developers to detecting vulnerabilities, such as buffer overflow, improper memory access, and etc. Experimental results on real software binary files show that our tool could efficiently detect different types of vulnerabilities.

关键词： symbolic execution control flow analysis security property vulnerabilities

来源：评论

学校读者我要写书评

暂无评论

MARD: A Framework for Metamorphic Malware analysis and Real-Time Detection

MARD: A Framework for Metamorphic Malware Analysis and Real-...

引用

28th IEEE International Conference on Advanced Information Networking and Applications Workshops (IEEE WAINA)

作者： Alam, Shahid Horspool, R. Nigel Traore, Issa Univ Victoria Dept CS Victoria BC V8P5C2 Canada Univ Victoria Dept ECE Victoria BC V8P5C2 Canada

ISBN: (纸本)9781479936298

Because of the financial and other gains attached with the growing malware industry, there is a need to automate the process of malware analysis and provide real-time malware detection. To hide a malware, obfuscation techniques are used. One such technique is metamorphism encoding that mutates the dynamic binary code and changes the opcode with every run to avoid detection. This makes malware difficult to detect in real-time and generally requires a behavioral signature for detection. In this paper we present a new framework called MARD for Metamorphic Malware analysis and Real-Time Detection, to protect the end points that are often the last defense, against metamorphic malware. MARD provides: (1) automation (2) platform independence (3) optimizations for real-time performance and (4) modularity. We also present a comparison of MARD with other such recent efforts. Experimental evaluation of MARD achieves a detection rate of 99.6% and a false positive rate of 4%.

关键词： End Point Security Metamorphism Malware analysis and Detection control flow analysis Automation

来源：评论

学校读者我要写书评

暂无评论

Assuring Application-level Correctness Against Soft Errors

Assuring Application-level Correctness Against Soft Errors

引用

IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

作者： Cong, Jason Gururaj, Karthik Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA

ISBN: (纸本)9781457713989

Traditionally, research in fault tolerance has required architectural state to be numerically perfect for program execution to be correct. However, in many programs, even if execution is not 100% numerically correct, the program can still appear to execute correctly from the user's perspective. To quantify user satisfaction, application-level fidelity metrics (such as PSNR) can be used. The output for such applications is defined to be correct if the fidelity metrics satisfy a certain threshold. However, such applications still contain instructions whose outputs are critical - i.e. their correctness decides if the overall quality of the program output is acceptable. In this paper, we present an analysis technique for identifying such critical program segments. More importantly, our technique is capable of guaranteeing application-level correctness through a combination of static analysis and runtime monitoring. Our static analysis consists of data flow analysis followed by control flow analysis to find static critical instructions which affect several instructions. Critical instructions are further refined into likely non-critical and likely critical sets in a profiling phase. At runtime, we use a monitoring scheme to monitor likely non-critical instructions and take remedial actions if some likely non-critical instructions become critical. Based on this analysis, we minimize the number of instructions that are duplicated and checked at runtime using a software-based fault detection and recovery technique [20]. Put together, our approach can lead to 22% average energy savings for multimedia applications while guaranteeing application-level correctness, when compared to a recent work [9], which cannot guarantee application-level correctness. Comparing to the approach proposed in [20] which guarantees both application-level and numerical correctness, our method achieves 79% energy reduction.

关键词： Arrays Handheld computers Indexes Measurement Monitoring Runtime Vectors application-level correctness assurance application-level fidelity metrics control flow analysis data flow analysis data flow analysis fault tolerance program execution program segme

来源：评论

学校读者我要写书评

暂无评论

An analysis tool set for reconfigurable media processing

An analysis tool set for reconfigurable media processing

引用

International Conference on Engineering of Reconfigurable Systems and Algorithms

作者： Dasu, A Akoglu, A Panchanathan, S Arizona State Univ Visual Comp & Commun Lab Tempe AZ 85287 USA

ISBN: (纸本)193241505X

Existing media processing solutions such as general purpose processors with,media acceleration support or application specific hardware units fail to satisfy the constraints of low power, less s ilicon area and varying computing demands of the applications. Our research effort aids the design of a dynamically reconfigurable processor through the use of a set of analysis and design tools. This paper describes a part of the first of a set of three tools., These are intended to help hardware and system designers arrive at optimal hardware software co-designs for applications of a given class. The reconfigurable computing devices thus designed, will be able to adapt the underlying. hardware dynamically in response to changes in the input data or processing environment.

关键词： dynamically reconfigurable control flow analysis

来源：评论

学校读者我要写书评

暂无评论

Can We Make It Faster? Efficient May-Happen-in-Parallel analysis Revisited

Can We Make It Faster? Efficient May-Happen-in-Parallel Anal...

引用

13th International Conference on Parallel and Distributed Computing, Applications, and Technologies (PDCAT)

作者： Chen, Congming Huo, Wei Li, Lung Feng, Xiaobing Xing, Kai Chinese Acad Sci State Key Lab Comp Architecture Beijing Peoples R China Chinese Acad Sci Grad Univ Beijing Peoples R China Univ Sci & Technol China Sch Comp Sci Anhui Peoples R China

ISBN: (纸本)9780769548791

May-Happen-in-Parallel (MHP) analysis is a very important and fundamental mechanism to facilitate concurrent program analysis, optimization and even concurrency bug detection. However, the inefficiency in its design and implementation keeps MHP analysis away from being practical and effective. In this paper, we investigate the state-of-art of iterative data flow based (IDFB) MHP analysis and propose a new design and corresponding systematic implementation. Specifically, we address the most severe efficiency problems in node process order of the work-list in the original approach, and resolve them in our design and implementation by using the concept of parallel level to avoid redundant node visits. Our intensive experimental study shows that the proposed design and implementation have a relative speed up of 29.02x compared with the original implementation, moreover, it achieves a relative speed up of 10.00x comparing to the state-of-art of non-IDFB approach which is claimed to be more efficient than the original IDFB approach. Our design and implementation are capable of achieving an order of magnitude efficiency improvement comparing to both IDFB and non-IDFB approaches.

关键词： Concurrent Program control flow analysis Conservative Efficiency Precision

来源：评论

学校读者我要写书评

暂无评论

Computation of static execute after relation with applications to software maintenance

Computation of static execute after relation with applicatio...

引用

23rd IEEE International Conference on Software Maintenance

作者： Beszedes, Arpad Gergely, Tamas Jasz, Judit Toth, Gabriella Gyimothy, Tibor Rajlich, Vaclav Univ Szeged Dept Software Engn Arpad Ter 2 H-6720 Szeged Hungary Wayne State Univ Dept Comp Sci Detroit MI 48202 USA

ISBN: (纸本)9781424412556

In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may approximate static slicing with perfect recall and high precision, while being much less expensive and more usable. When differentiating between explicit and hidden dependencies, our case studies also show that SEA may correlate with direct and indirect class coupling. We speculate that SEA may find applications in computation of hidden dependencies and through it in many maintenance tasks, including change propagation and regression testing.

关键词： impact analysis change propagation regression testing hidden dependencies coupling control flow analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共6页 << < 1 2 3 4 5 6 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：