THE COERCION SYSTEM.

Modeling Inheritance as Coercion in the Kenzo System

In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We show how the order-sorted algebraic specification formalism can be adapted, through the “inheritance as coercion” metaphor,...

The morality of coercion.

The author congratulates Dr Brian Hurwitz, who recently reported the successful "intimidation" of an elderly competent widow into accepting badly needed therapy for a huge ulcerated carcinoma. He reports approvingly of the Israeli Patients' Rights Law, enacted in 1996, which demands detailed informed consent from competent patients before permitting treatment. But the law also provides an escap...

Scroll, Match & Vote: An E2E Coercion Resistant Mobile Voting System

Mobile Internet Elections are appealing for several reasons; they promise voter convenience, lower abstention rates and lower costs. However, there are a number of trust issues that prevent them from becoming ubiquitous, the most relevant of which is the possibility of coercion of the voter at the time of the vote. But other issues, like the trustworthiness of both the services running the elec...

Cryptic coercion.

The Enforcement Approach to Coercion