When a program is attacked,it will behave in a manner inconsistent with its binary code, which can be made use of to perform anomaly detection:Firstly,do a static analysis of the binary code to construct a model of the program behavior,and then different kinds of attacks can be detected by monitoring whether the execution of this
(Read More…)
Correctness of real-time systems, in contrast to other applications, not only depends on the correctness of the output, but also the time required to produce the result. The output of the real-time system is available before deadline, so that it’s important for scheduling of the real-time system to get the worst case execution time of
(Read More…)
TSS (TCG Software Stack) defined by TCG (Trusted Computing Group) is the core software in Trusted Computing Platform, as well as the implementation of the Trusted Mechanism on the operating system level, whose performance could directly influence security of the trusted applications, even of the trusted platform. Considering the importance of TSS, it is of
(Read More…)
Different from non-real-time systems, the correctness of real-time systems depends not only on the correctness of the produced results, but also on the time when they produce them. The outputs of real-time systems are valid only when they are produced in the predefined time durations. Timing behaviors are crucial for real-time systems.The purpose of Worst-Case
(Read More…)
Mobile code is a kind of computing model that is widely used not only in computer network and Internet technique, but also in many new techniques, such as mobile agent and Ad hoc network. However, Mobile code poses threats to security, which had never happened in the stand-alone environment. The threats come from two aspects.
(Read More…)
Logic programming (LP) is an important programming paradigm that has multiple applications in the areas of artificial intelligence. LP languages, of which Prolog is a representative, feature the separation of the description of a problem and the way to solve the problem. One of the focuses in the research of LP is on how to
(Read More…)
With the development of information technology, the scale of software extends continuously, and how to guarantee and raise software quality becomes the main point in the software field. The frequent software crises enhance the position of software testing unprecedentedly.Software testing based on defect pattern is a new kind of source code static analysis technology, and
(Read More…)
Trustworthiness of software has become the center of attention when consider-ing modern software quality. Finding bugs before release is fundamental to buildtrustworthy software, which is extremely important for safety-critical applicationssuch as aerospace, defense and automotive. Scienti?c and engineering programs es-pecially safety-critical embedded software are usually related to mathematics andphysics, and thus often involve a lot
(Read More…)
