source: examples/acme_friend_rt1_typed/rr @ 10e1588

mei_rt2mei_rt2_fix_1meiyap-rt1rt2 rt2-01
Last change on this file since 10e1588 was 718ad924, checked in by Mei <mei@…>, 12 years ago

able to parse rt1 without condition
updated examples

  • Property mode set to 100755
File size: 1.3 KB
Line 
1eloc=/home/mei/Deter/abac/libabac
2keyloc=/home/mei/Deter/abac/examples/acme_friend_rt1_typed
3
4roadrunner=`creddy --keyid --cert $keyloc/Roadrunner_ID.pem`
5acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
6coyote=`creddy --keyid --cert $keyloc/Coyote_ID.pem`
7jackrabbit=`creddy --keyid --cert $keyloc/Jackrabbit_ID.pem`
8
9
10#XXX this is not exactly implemented right at the query side
11#[keyid:Acme].role:friendof([keyid:Roadrunner]) <-?- [keyid:Coyote] yap
12echo "===bad============ Acme.friendOf(Roadrunner) <- Coyote yap "
13$eloc/abac_prover_yap  --keystore $keyloc --role '$acme.friendOf(pRoadrunner)' --principal $coyote
14
15#[keyid:Acme].role:preferred_customer <-?- [keyid:Jackrabbit] yap
16echo "===good============ Acme.preferred_customer <- Jackrabbit yap "
17$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal $jackrabbit
18
19#[keyid:Acme].role:preferred_customer <-?- [keyid:Coyote] yap
20echo "===good============ Acme.preferred_customer <- Coyote yap "
21$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal $coyote
22
23#[keyid:Acme].role:preferred_customer <-?- [keyid:badCoyote] yap
24echo "===bad============ Acme.preferred_customer <- badCoyote yap "
25$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal bad$coyote
26
27
Note: See TracBrowser for help on using the repository browser.