source: examples/creddy_prover_tests/balltime_rt2/run_query @ 8de54ab

mei_rt2mei_rt2_fix_1
Last change on this file since 8de54ab was 08b8da7, checked in by Mei <mei@…>, 12 years ago

1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there

  • Property mode set to 100755
File size: 1.6 KB
Line 
1
2# balltime_rt2_typed
3
4pwd=`pwd`
5eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
6if [ "$eloc" = "" ]; then
7  echo "ERROR: abac_prover_yap is not in the search path!!!"
8  exit 1
9fi
10keyloc=$pwd
11
12league=`creddy --keyid --cert $keyloc/League_ID.pem`
13john=`creddy --keyid --cert $keyloc/John_ID.pem`
14mark=`creddy --keyid --cert $keyloc/Mark_ID.pem`
15
16stadium_accessT="[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T130000])"
17stadium_accessT2="[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T110000])"
18stadium_accessT3="[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T080000])"
19
20john_prin="[keyid:$john]"
21mark_prin="[keyid:$mark]"
22
23## dump all credentials
24$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
25
26#[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T130000]) <-?- [keyid:john] (yes)
27echo " "
28echo "===good============ league.stadium(access,true,20120128T130000)<-?-john"
29$eloc/abac_prover_yap  --keystore $keyloc --role "$stadium_accessT" --principal "$john_prin"
30
31#[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T110000]) <-?- [keyid:mark] (no)
32echo " "
33echo "===bad============ league.stadium(access,true,20120128T110000)<-?-mark"
34$eloc/abac_prover_yap  --keystore $keyloc --role "$stadium_accessT2" --principal "$mark_prin"
35
36#[keyid:$league].role:stadium([string:'access'],[boolean:true],[time:20120228T080000]) <-?- [keyid:mark] (yes)
37echo " "
38echo "===good============ league.stadium(access,true,20120128T080000)<-?-mark"
39$eloc/abac_prover_yap  --keystore $keyloc --role "$stadium_accessT3" --principal "$mark_prin"
40
Note: See TracBrowser for help on using the repository browser.