source: examples/creddy_prover_tests/ice_cream_rt0/README @ f30b1e9

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since f30b1e9 was b7b2ca1, checked in by Mei <mei@…>, 12 years ago

1) 1 new test

  • Property mode set to 100755
File size: 484 bytes
Line 
1#!/bin/sh
2
3#IceCream.delicious <- Chocolate
4
5rm -rf *.pem *.xml
6
7pwd=`pwd`
8eloc=`which creddy | sed 's/\/creddy//'`
9if [ "$eloc" = "" ]; then
10  echo "ERROR: creddy is not in the search path!!!"
11  exit 1
12fi
13
14$eloc/creddy --generate --cn IceCream
15
16$eloc/creddy --generate --cn Chocolate
17
18$eloc/creddy --attribute \
19       --issuer IceCream_ID.pem --key IceCream_private.pem --role delicious \
20       --subject-cert Chocolate_ID.pem \
21       --out IceCream_delicious__Chocolate_attr.xml
Note: See TracBrowser for help on using the repository browser.