$Id: Security.daml,v 1.2 2001/04/15 21:44:22 narayana Exp narayana $ A security transaction example in Daml-S. Note this is a placeholder for a more extended security ontology and protocol in Daml-S being developed by Grit Denker and others. A multiset of Entitlement objects