source: examples/fruits_rt2_typed/README @ 36b100a

#!/bin/sh

rm -rf *.der *.pem

# mary.what2eat<-?-navel orange  good
# bob.what2eat<-?-navel orange  bad
# ralphs.fruitprice(1.50)<-?-apple   good

creddy --generate --cn Mary
creddy --generate --cn Bob
creddy --generate --cn Ralphs

mary_keyid=`creddy --keyid --cert Mary_ID.pem`
bob_keyid=`creddy --keyid --cert Bob_ID.pem`
ralphs_keyid=`creddy --keyid --cert Ralphs_ID.pem`

fruitprice_qP="fruitprice([float:?P:[..2.00]])"
fruitprice_qP_2="fruitprice([float:?P:[1.00..5.00]])"

# [keyid:mary].oset:what2eat 
#      <- [keyid:ralphs].oset:fruitprice([float:?P:[..2.00]])
creddy --attribute \
       --issuer Mary_ID.pem --key Mary_private.pem --oset "what2eat" \
       --subject-cert Ralphs_ID.pem --subject-oset "$fruitprice_qP" \
       --out mary_what2eat__ralphs_fruitprice_qP_attr.der

# [keyid:bob].oset:what2eat 
#      <- [keyid:ralphs].oset:fruitprice([float:?P:[1.00..5.00]])
creddy --attribute \
       --issuer Bob_ID.pem --key Bob_private.pem --oset "what2eat" \
       --subject-cert Ralphs_ID.pem --subject-oset "$fruitprice_qP_2" \
       --out bob_what2eat__ralphs_fruitprice_qP_2_attr.der

# [keyid:ralphs].oset:fruitprice([float:1.50]) <- [string:'apple']
creddy --attribute \
        --issuer Ralphs_ID.pem --key Ralphs_private.pem \
        --oset "fruitprice([float:1.50])" \
        --subject-obj "[string:'apple']" \
        --out Ralphs_fruitprice__apple_attr.der

# [keyid:ralphs].oset:fruitprice([float:2.50]) <- [string:'black rasberry']
creddy --attribute \
        --issuer Ralphs_ID.pem --key Ralphs_private.pem \
        --oset "fruitprice([float:2.50])" \
        --subject-obj "[string:'black rasberry']" \
        --out Ralphs_fruitprice__black_rasberry_attr.der

# [keyid:ralphs].oset:fruitprice([float:0.50]) <- [string:'navel orange']
creddy --attribute \
        --issuer Ralphs_ID.pem --key Ralphs_private.pem \
        --oset "fruitprice([float:0.50])" \
        --subject-obj "[string:'navel orange']" \
        --out Ralphs_fruitprice__navel_orange_attr.der

#####################################################################
# mary.what2eat <- ralphs.fruitsprice(?P:[..2.00])
# [keyid:mary].oset:what2eat 
#      <- [keyid:ralphs].oset:fruitprice([float:?P:[..2.00]])
#
# bob.what2eat <- ralphs.fruitsprice(?P:[1.00..5.00])
# [keyid:bob].oset:what2eat 
#      <- [keyid:ralphs].oset:fruitprice([float:?P:[1.00..5.00]])
# 
# ralphs.fruitprice(1.50)<-apple
# [keyid:ralphs].oset:fruitprice([float:1.50]) <- [string:'apple']
#
# ralphs.fruitprice(2.50)<-black rasberry
# [keyid:ralphs].oset:fruitprice([float:2.50]) <- [string:'black rasberry']
#
# ralphs.fruitprice(0.50)<-navel orange
# [keyid:ralphs].oset:fruitprice([float:0.50]) <- [string:'navel orange']
#