Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

A Framework for Monitoring Agent-Based Normative Systems

The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent's behaviour fails to comply with the norms. Recognition of compliance is thus crucial for achieving regulation. In this paper we propose a generic architecture for observation of agent behaviours, and recognition of these behaviours as constituting, or counting as, compliance or violation. The architecture deploys monitors that receive inputs from observers, and processes these inputs together with transition network representations of individual norms. In this way, monitors determine the fulfillment or violation status of norms. The paper also describes a proof of concept implementation and deployment of monitors in electronic contracting environments.

A Framework for Monitoring Agent-Based Normative Systems

The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means to regulate agent behaviours in open and dynamic systems, where these norms specify the obliged, permitted and prohibited behaviours of agents. Regulation can effectively be achieved through use of enforcement mechanisms that result in a net loss of utility for an agent in cases where the agent’s behaviour fails to comply with the norms. Recognition of compliance is thus crucial for achieving regulation. In this paper we propose a generic architecture for observation of agent behaviours, and recognition of these behaviours as constituting, or counting as, compliance or violation. The architecture deploys monitors that receive inputs from observers, and processes these inputs together with transition network representations of individual norms. In this way, monitors determine the fulfillment or violation status of norms. The paper also describes a proof of concept implementation and deployment of monitors in electronic contracting environments.

CONVERSION OF DOMAIN TYPE ENFORCEMENT LANGUAGE TO THE JAVA SECURITY MANAGER

With today's prevalence of Internet-connected systems storing sensitive data and the omnipresent threat of technically skilled malicious users, computer security remains a critically important field. Because of today's multitude of vulnerable systems and security threats, it is vital that computer science students be taught techniques for programming secure systems, especially since many of them will work on systems with sensitive data after graduation. Teaching computer science students proper design, implementation, and maintenance of secure systems is a challenging task that calls for the use of novel pedagogical tools. This report describes the implementation of a compiler that converts mandatory access control specification Domain-Type Enforcement Language to the Java Security Manager, primarily for pedagogical purposes. The implementation of the Java Security Manager was explored in depth, and various techniques to work around its inherent limitations were explored and partially implemented, although some of these workarounds do not appear in the current version of the compiler because they would have compromised cross-platform compatibility. The current version of the compiler and implementation details of the Java Security Manager are discussed in depth.

Enforcement of the GNU GPL in Germany and Europe

GPL enforcement is successful in Europe. In several court decisions and out of court settlements the license conditions of the GPL have been successfully enforced. In particular, embedded systems are the main focus of such compliance activities. The article describes the practice of enforcement activities and the legal prerequisites under the application of German law.

Study report of methods to improve the application of state traffic records systems. Phase 1. Technical report.

Federal Highway Administration, Office of Enforcement and Emergency Services, Washington, D.C.

Study report of methods to improve the application of state traffic records systems - phase 2. Technical report.

Federal Highway Administration, Office of Enforcement and Emergency Services, Washington, D.C.

Economic analysis of vapor recovery systems on small bulk plants /

Mode of access: Internet.

Local police enforcement, public information and education strategies to foster more and proper use of child safety seats by toddlers: evaluation of demonstration project. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Emergency vehicle warning systems /

"Issued May 1981."

Enforcement requirements for high-occupancy vehicle facilities /

Mode of access: Internet.

Peace by committee : command and control issues in multinational peace enforcement operations /

Originally presented as thesis at School of Advanced Airpower Studies, Air University, 1993-94.

Illinois law enforcement communications procedures /

"March 1985".

Implementing balanced and restorative justice : victim, offender, community : a guide for law enforcement officers /

This publication is one in a series of guides designed to assist in the statewide promotion of balanced and restorative justice. BARJ is a philosophy of justice that can guide the work of individuals who deal with juvenile offenders, their victims, and the communities in which they live.

Combating workplace drug crimes : guidelines for businesses, law enforcement & prosecutors /

"This document was prepared by the Institute for Law and Justice and Hallcrest Systems, Inc., supported by cooperative agreement number 91-DD-CX-K020, awarded by the Bureau of Justice Assistance, Office of Justice Programs, U.S. Department of Justice"--T.p. verso.