Electronic right, crossing trust boundaries etc. @ LtU

6. February 2006

Several articles, some which I missed, where on LtU recently.

I'm too occupied (again the MTA "evolution" broken - I better find something more stable; linux kernel messed up wrt USB - reboot right now, a kid's birthday and the most hated productivity brake a pending tax declaration) to read them now, but I want to keep those pointers for you and me.

I'll be back and post follow ups here.

web-calculusThe web-calculus provides a generic messaging and capability-based security model for this world of heterogeneous application interfaces. The web-amp maps the web-calculus onto the HTTP protocol, providing interoperation using standard WWW technologies. plus 2005-04-07:The web-calculus is defined over a directed graph. Each node in the graph is a document Node. Each edge in the graph may be associated with a closure. Applications interact by traversing the graph and/or sending invocations to a target closure. - doesn't this sound like Askemos? and another talk Abstract Messaging Protocol (2006-02-03) A remote edge in the web-calculus is represented by an unguessable URL. Non-idempotent operations additionally provide a message identifier used to implement reliable messaging between hosts.
Smart Contracts @ web-calculus The web-calculus provides a framework for building secure, distributed applications. Supporting trade, with all the sophistication of today's markets, is one of the more compelling uses for this technology. The WaterkenTM IOU protocol is a first step towards creating such a marketplace. The protocol provides a generic means for representing ownership and the ability to trade. - well, maybe not the first.
ERights Distributed Capabilities and their smart contracts glossary
Coalition Design for Secure Protocols - is this byzantine agreement?
Secure Property Titles with Owner Authority
Scarce Objects
A Declarative Framework for Enterprise Systems
DSL for financial contracts (2004-01-16)
some pointers source, Composing contracts: an adventure in financial engineering, Combinators for contracts

Also search for Chaum Mix (Chaumian bindings) “Blind Signatures for Untraceable Payments,” Advances in Cryptology - Proceedings of Crypto ’82, 1983, pp. 199-203.

My new video blog!								8. November 2008

Subject

Abstract (up to 200 characters)

Full Text

> Several articles, some which I missed,
 > where on LtU recently.
 > 
 > 
 > I'm too occupied
 > (again the MTA "evolution" broken - I better find
 > something more stable;
 > linux kernel messed up wrt USB - reboot right now,
 > a kid's birthday and
 > the most hated productivity brake a pending tax declaration)
 > to read them now,
 > but I want to keep those pointers for you and me.
 > 
 > I'll be back and post follow ups here.
 > * [[http://www.waterken.com/dev/Web/|web-calculus]]'''The web-calculus provides a generic messaging and capability-based security model for this world of heterogeneous application interfaces. The web-amp maps the web-calculus onto the HTTP protocol, providing interoperation using standard WWW technologies.'''
 > plus
 > [[http://www.waterken.com/dev/Web/Calculus/|2005-04-07]]:'''The web-calculus is defined over a directed graph. Each node in the graph is a document Node. Each edge in the graph may be associated with a closure. Applications interact by traversing the graph and/or sending invocations to a target closure.'''
 > - doesn't this sound like Askemos?
 > and another talk
 > [[http://www.waterken.com/dev/Web/AMP/|Abstract Messaging Protocol]] (2006-02-03)  A remote edge in the web-calculus is represented by an unguessable URL. Non-idempotent operations additionally provide a message identifier used to implement reliable messaging between hosts.
 > * [[http://www.waterken.com/dev/IOU/|Smart Contracts @ web-calculus]]''' The web-calculus provides a framework for building secure, distributed applications. Supporting trade, with all the sophistication of today's markets, is one of the more compelling uses for this technology. The WaterkenTM IOU protocol is a first step towards creating such a marketplace. The protocol provides a generic means for representing ownership and the ability to trade.'''
 > - well, maybe not the first.
 > * [[http://www.erights.org/|ERights Distributed Capabilities]]
 > and their
 > [[http://www.erights.org/smart-contracts/index.html|smart contracts]][[http://www.alamut.com/subj/economics/nick_szabo/smartC_gloss.html|glossary]]
 > * [[http://szabo.best.vwh.net/coalition.html|Coalition Design for Secure Protocols]] - is this byzantine agreement?
 > * [[http://szabo.best.vwh.net/securetitle.html|Secure Property Titles with Owner Authority]]
 > * [[http://szabo.best.vwh.net/scarce.html|Scarce Objects]]
 > * [[http://flint.cs.yale.edu/spam/abstract/stefansen.html|A Declarative Framework for Enterprise Systems]]
 > * [[http://lambda-the-ultimate.org/classic/message10657.html|DSL for financial contracts]] (2004-01-16)
 > * [[http://lambda-the-ultimate.org/node/1187#comment-12857|some
 > pointers source]], [[http://research.microsoft.com/Users/simonpj/Papers/financial-contracts/contracts-icfp.htm| Composing contracts: an adventure in financial engineering]], [[http://lambda-the-ultimate.org/node/1283|Combinators for contracts]]
 > *}
 > Also search for Chaum Mix (Chaumian bindings)
 > “Blind Signatures for Untraceable Payments,” Advances in Cryptology - Proceedings of Crypto ’82, 1983, pp. 199-203.
 > 
 >

When you post, you might receive a timeout error... just push the reload button in that case.

Askemos Forum