National security has gained vital importance due to increasing number of suspicious and terrorist events across the globe. Use of different subfields of information technology has also gained much attraction of researchers and practitioners to design systems which can detect main members which are actually responsible for such kind of events. In this paper, we present a novel method to predict...

This paper contains the chapters on public enforcement of law and on criminal law from a general, forthcoming book, Foundations of Economic Analysis of Law (Harvard University Press, 2003). By public law enforcement is meant the use of public law enforcement agents -such as police, tax inspectors, regulatory personnel -to enforce legal rules. A number of important dimensions of public law enfor...

Two field experiments were conducted to establish the most effective method of enforcement in reducing driving speed and to establish the most efficient strategy in terms of police force personnel required. In the first experiment, the effect of three variables on driving speed on motorways was studied. The first variable, intensity of enforcement, was manipulated by creating three different ob...

The challenge of effective merger enforcement is tremendous. U.S. antitrust agencies must, by statute, quickly forecast the competitive effects of mergers that occur in virtually every sector of the economy to determine if mergers can proceed. Surprisingly, given the complexity of the regulators task, there is remarkably little empirical evidence on the effects of mergers to guide regulators. T...

This article explores the enforcement of those laws intended to promote competitive markets through the prohibition of certain practices such as price-fixing, welfare-reducing mergers, and monopolization. The discovery and prosecution of violations are examined including the role of leniency programs. The determination of penalties is investigated with an assessment of their relationship to opt...

This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in modifying the executions of a running system to ensure their correctness with respect to a desired property. We introduce a framework that takes as input any regular (timed) property over an alphabet of events, with some of these events being uncontrollable. An u...

One of the security issues in data outsourcing is the enforcement of the data owner’s access control policies. This includes some challenges. The first challenge is preserving confidentiality of data and policies. One of the existing solutions is encrypting data before outsourcing which brings new challenges; namely, the number of keys required to access authorized resources, efficient policy u...