共查询到20条相似文献,搜索用时 46 毫秒
1.
对于软件安全及其知识产权问题,软件保护技术的应用是非常必要的。利用软件保护中的迷惑技术,提出了基于随机数的复杂控制流程序迷惑算法,该算法同样适用于分支结构和循环结构的程序中。在保持程序功能的同时,增加了静态分析的难度,程序中拥有的方法越多,其静态分析的代价越大。该迷惑方案适用于面向对象程序。 相似文献
2.
PHP脚本语言是一种当前比较流行的服务端脚本语言,多用来开发Web应用程序。文中介绍了一种针对PHP的静态缺陷分析方法,能有效检测出PHP中常见安全缺陷,如SQL注入、XSS等,文中给出了对当前比较流行的几个开源PHP工程的检测结果,其中大部分缺陷是可以远程利用的。 相似文献
3.
通过静态分析提高程序测试的效率 总被引:3,自引:0,他引:3
静态分析器是一种初步具备处理数据对象的测试程序,它是融编辑,语法分析和静态语义检查为一体的软件工具,本文阐明了静态分析器在软件开发环境中的作用和意义。 相似文献
4.
介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求。 相似文献
5.
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确. 相似文献
6.
讨论了静态时序分析算法及其在IC设计中的应用。首先,文章讨论了静态时序分析中的伪路径问题以及路径敏化算法,分析了影响逻辑门和互连线延时的因素。最后通过一个完整的IC设计流程介绍了静态时序分析的应用。 相似文献
7.
网络通信中的多播分为单树多播和成组多播。本文研究具有带宽约束的静肪多播路由问题,分别建立了基于带宽约束的单树多播和成组多播的数学并构造了相应的路由算法,利用此算法可使成组多播达到全局最优。 相似文献
8.
在非线性电子电路的静态分析之中,提出了一种数值计算方法———Newton-Raphson迭代法。该方法是在建立起电子电路的结点电压方程之后,应用Newton-Raphson迭代,从而可获得电路结点的直流电压。这种分析方法具有计算简单、准确等特点。 相似文献
9.
10.
为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。 相似文献
11.
12.
13.
该文给出了N层蜂窝覆盖系统双向呼叫溢出信道指配策略的一般模型及分析方法,并给出了一个4层模型分析结果。通过设定不同参数,该文方法可用于分析任意多层蜂窝系统双向溢出、单向上溢出、单向下溢出、部分双向溢出和部分单向溢出等呼叫溢出策略。 相似文献
14.
A. Majidian 《BT Technology Journal》1999,17(2):53-59
Management of today's distributed systems is becoming increasingly complex. There is an obvious requirement for a flexible mechanism to help manage such systems. Rule-based management is one such mechanism. However, in order for rule-based management to become widely usable a method is required by which conflicts between management policies (defined as rules) can be identified and resolved. This paper creates a set theoretic model for rules as a trituple of the relationship between the subject, action and target of a policy. It also identifies two classes of policy set — 'syntactically easy policy set' (SEPS) and 'syntactically non-easy policy set' (SNEPS). SEPSs are policies which are sets of all the Cartesian products of its subjects, actions and targets, whereas SNEPSs are only a subset of that Cartesian product. Conflict analysis of SEPSs has been handled in other papers; this paper addresses conflict analysis of SNEPSs. A method for resolving conflict is suggested. The paper also raises some issues that arise when considering a database of policies. 相似文献
15.
Transistors within a gate take a finite amount of time to switch and hence there is always a propagation delay associated with it. These delays are evaluated by standard cell characterization techniques using EDA tools. However, these standard measurement methods tend to fail when simulating the design with practical values of slope and load and gives rise to the problem of negative or non-monotonic delays. Negative/non-monotonic delays lead to false positives during static timing analysis, synthesis and simulation of circuits and are undesirable. Hence, there is a need to implement new methods for characterization of propagation delay that will lead to more realistic monotonic delay values, ultimately achieving early timing closures. One such method of delay measurement based on actual switching thresholds has been proposed in this work. 相似文献
16.
采用基于平面应力假设和二维周期性位移场假设的均一化模型分析了P1型粗压电纤维复合材料(MFC)致动器的宏观性质,研究了该模型对于MFC悬臂梁静态变形分析的适用性。ANSYS仿真结果表明,该模型适用于分析MFC悬臂梁静态变形,采用该均一化模型与不采用均一化模型相比,悬臂梁挠度的相对误差不超过5.77%,且该均一化模型中压电应力矩阵的e32分量对梁挠度的影响(e32效应)为次要因素。在采用该均一化模型的基础上进一步忽略其e32效应与原均一化模型相比,粱挠度的相对误差不超过1.36%。 相似文献
17.
18.
分层移动IPV6协议减少了注册延迟,但仍具有路由不够优化等问题。通过分析HMIPv6.提出一种基于分层机制的移动IPv6路由管理模型。该模型支持路由优化,能在域内、域间移动时实现快速切换以减少延迟.提高网络资源利用率。仿真分析结果验证模型的有效性. 相似文献
19.
模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析。并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。 相似文献
20.
赵章界 《信息安全与通信保密》2010,(7):84-86
划分安全域是保护资产的一项重要措施。面向安全域划分的需要,提出了网络访问控制的层次模型,把网络访问控制划分为网络边界访问控制、安全域边界访问控制、主机网络访问控制3个层次,并探讨了网络组织、非军事区、地址转换、访问控制策略等关键问题。网络访问控制的层次模型有效地做到了纵深保护信息资产的目的。 相似文献