In the field of network defense, very little research is directed toward locating the source of network attacks. This paper models the technical aspects of attack traceback. By analyzing the model of attack traceback, two fundamental technical problems can be identified: determining the immediate source of packets (which may be disguised through IP spoofing) and determining causality for packet...

With over 1,200,000 Android applications in Google Play alone, and dozens of different marketplaces, Android malware unfortunately have no difficulty to sneak in and silently spread. This puts a high pressure on antivirus teams. To try and spot new malware instances, we have built an infrastructure, named SherlockDroid, whose goal is to filter out the mass of applications and only keep those wh...

This paper considers ways of modelling time dependent inspection problems where there is a possibility of false alarms. For this purpose, it is assumed that safeguards procedures are notified to the inspectee by the inspector and are prima facie plausible ones. This 'inspector-leadership principle' implies that under reasonable assumptions the inspectee's strategy is legal in the sense of compl...

Proximity operations between spacecraft allows for docking, inspection, and repair of a target vehicle. Very small spacecraft, under 20 kg, are well-suited for proximity activities and are of growing interest in the aerospace community. However, due to size and power constraints, small vehicles cannot carry traditional precision navigation systems and have generally noisy sensor and actuator op...

Loop transformation frameworks based on the polyhedral model use libraries such as Polylib, ISL, and Omega to represent and manipulate polyhedra and use tools like CLooG to generate loops that scan the modified polyhedra. Most of these libraries are restricted to iteration space sets and memory/array access functions with affine constraints that preclude the specification of run-time reordering...

Close-proximity operations between spacecraft allow for docking and inspection of a target vehicle. Very small spacecraft are well-suited for proximity activities and are of growing interest in the aerospace community. However, due to size and power constraints, small vehicles cannot carry traditional precision navigation systems and generally have noisy sensor and actuator options. This paper ...

An inspection game is a mathematical model of a non-cooperative situation where an inspector verifies that another party, called inspectee, adheres to legal rules. The inspector wishes to deter illegal activity on the part of the inspectee and, should illegal activity nevertheless take place, detect it with the highest possible probability and as soon as possible. The inspectee may have some in...

qfd is a mechanism for translating the voice of customer into product through various stages of product planning, engineering and manufacturing that widely implemented in modern enterprises throughout the world. in parallel with welcoming to qfd, a lot of academic efforts have gone into improving and completing this method. now traditional methods for determining relative importance of factors ...

In object oriented programming languages, classes are used to incorporate state (fields) and behavior (methods) that modifies the state. Typically, only a subset of a classes’ methods actually modifies the state. Methods that don’t modify the state are called side– effect free or pure methods. We propose to use purity information to classify methods as inspectors (methods that reveal informatio...