Theabilitytosupportdisputesisanimportant,but oftenneglectedaspectofpaymentsystems.Inthis paper,wepresentalanguageforexpressingdispute claimsinauniedmanner,independentofanyspe-cicpaymentsystem.Weillustratehowtosupport claimsmadeinthislanguagewithevidencetokens fromanexamplepaymentsystem.Wealsodescribe anarchitecturefordisputehandling.Ourapproach maybegeneralisedtootherserviceswhereaccount-abilityisarequirement.

Ever since 2-party Diffie-Hellman exchange was first proposed in 1976, there have been efforts to extend its simplicity and elegance to a group setting. Notable solutions have been proposed by michael Steiner Gene Tsudik Waidner(in 1996) and Recently G.P.Biswas was proposed a contributory group key

Mihir Bellare y , Juan A. Garay y , Ralf Hauser z , Amir Herzberg y , Hugo Krawczyk y , Michael Steiner z , Gene Tsudik z , Michael Waidner z July 12, 1995 Abstract This paper proposes a family of protocols -- iKP (i = 1; 2; 3) -- for secure electronic payments over the Internet

Appendix A). 3. Acknowledgments The Zurich iKP Prototype (ZIP) represents a joint effort by Michael Steiner, Gene Tsudik and Els Van Herreweghen. Contributions made by Ralf Hauser, Phil Janson, Steen Larsen and Michael Waidner are gratefully acknowledged. Van Herreweghen Expires TBD [Page i] For Your

Siebert, Jose Ramon Tiscar), with participants at two workshops at WIFO (Paul Geroski, Georg Licht, Viktor Steiner), and with internal advisers (Michael Peneder, Michael Pfaffermayr, Gunther Tichy, Rudolf Winter-Ebmer).

Bernd Brael , Michael Hanus , and Frank Steiner RWTH Aachen, Germany brassel@halifax.rwth-aachen.de Institut fur Informatik, CAU Kiel, D-24098 Kiel, Germany fmh,fstg@informatik.uni-kiel.de Abstract. While declarative programming languages are based on the idea of specifying

The importance of the human subject (and subjectivity) with its inherent capacity for intuition as a foundational concept for Information Systems is explored in this paper. The paper considers two philosophical contributions: (1) Michael Polanyi's distinction between Practical and Tacit

, Hillel Steiner and Michael Otsuka. In the light of recent studies on immigration, I depart from Robert Nozick’s case of protective

in 1998, when he invited me to participate in his research project. I also appreciate his kindness during my stay at the University of Udine. In Germany, Michael Hanus willingly accepted my collaboration on his project in 1999. Without a doubt, his discussions have been an important contribution

Research on educational borrowing and lending has been largely concerned with transnational or transsectoral transfer of educational ideas, models and policies (see, e.g., Steiner-Khamsi 2004). Most often, the units between which borrowing and lending are seen to take place are those of the nation